Merge pull request #4827 from Medowhill/issue4582

Fix #4582: use untpd.New in maybeCall

Author: allanrenucci

compiler/src/dotty/tools/dotc/typer/Typer.scala

@@ -1475,8 +1475,7 @@ class Typer extends Namer
      */
     def maybeCall(ref: Tree, psym: Symbol, cinfo: Type): Tree = cinfo.stripPoly match {
       case cinfo @ MethodType(Nil) if cinfo.resultType.isImplicitMethod =>
-        val icall = New(ref).select(nme.CONSTRUCTOR).appliedToNone
-        typedExpr(untpd.TypedSplice(icall))(superCtx)
+        typedExpr(untpd.New(ref, Nil))(superCtx)
       case cinfo @ MethodType(Nil) if !cinfo.resultType.isInstanceOf[MethodType] =>
         ref
       case cinfo: MethodType =>

tests/pos/i4582.scala

@@ -0,0 +1,6 @@
+trait T[A: Numeric]
+class TX[A: Numeric] extends T[A]
+class TY[A: Numeric] extends T[A]()
+
+trait S[A: Numeric](x: Int)
+class SX[A: Numeric] extends S[A](0)