Avoid constructing typed tree with untyped arguments

Author: smarter

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

@@ -720,7 +720,7 @@ trait Applications extends Compatibility { self: Typer with Dynamic =>
         }
 
       fun1.tpe match {
-        case err: ErrorType => untpd.cpy.Apply(tree)(fun1, tree.args).withType(err)
+        case err: ErrorType => untpd.cpy.Apply(tree)(fun1, proto.typedArgs).withType(err)
         case TryDynamicCallType => typedDynamicApply(tree, pt)
         case _ =>
           if (originalProto.isDropped) fun1

tests/neg/i1640.scala

@@ -1,4 +1,4 @@
 object Test extends App {
   List(1, 2, 3) map (_ match { case x => x + 1 })
-  List((1, 2)) x (_ match { case (x, z) => x + z }) // error
+  List((1, 2)) x (_ match { case (x, z) => x + z }) // error // error // error
 }

tests/neg/i1641.scala

@@ -3,6 +3,6 @@ package object println { def bippy(x: Int, y: Int, z: Int) = "(Int, Int, Int)" }
 object Test {
   def main(args: Array[String]): Unit = {
     println(bar.bippy(5.5)) // error
-    println(bar.bippy(1, 2, 3)) // error
+    println(bar.bippy(1, 2, 3)) // error // error
   }
 }

tests/neg/i1707.scala

@@ -18,7 +18,7 @@ object DepBug {
   }
   {   // error: Null does not take parameters (follow on)
     import dep._
-    a m (b)
+    a m (b) // error: not found: a
   }
   dep.a m (dep b) // error (follow on)
 }

tests/neg/parser-stability-10.scala

@@ -9,5 +9,5 @@ def unapply(i1: Int)(i6: List[Int]): Int = {
 }  // error
 object i5 {
   import collection.mutable._
-  try { ??? mutable { case i1(i5, i3, i4) => i5 }}  // error
+  try { ??? mutable { case i1(i5, i3, i4) => i5 }}  // error // error // error
 }  // error

tests/neg/parser-stability-6.scala

@@ -0,0 +1,3 @@
+class x0 {
+  1 + x1 * / |= 2 // error: not found: x1
+}

tests/neg/t7239.scala

@@ -17,7 +17,7 @@ object Test {
                        (implicit F0: NoImplicit): HasWithFilter = ???
   }
 
-  BrokenMethod().withFilter(_ => true) // error
+  BrokenMethod().withFilter(_ => true) // error // error
   BrokenMethod().filter(_ => true)     // ok
 
   locally {
@@ -35,6 +35,6 @@ object Test {
     // `(B => Boolean)`. Only later during pickling does the
     // defensive check for erroneous types in the tree pick up
     // the problem.
-    BrokenMethod().withFilter(x => true) // error
+    BrokenMethod().withFilter(x => true) // error // error
   }
 }