Merge pull request #1659 from dotty-staging/fix-#1640

Fix #1640: Avoid applications with untyped function parts

2 files changed, 12 insertions, 0 deletions

diff --git a/tests/neg/i1640.scala b/tests/neg/i1640.scala
new file mode 100644
index 000000000..78351a1d6
--- /dev/null
+++ b/tests/neg/i1640.scala
@@ -0,0 +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
+}
diff --git a/tests/neg/i1641.scala b/tests/neg/i1641.scala
new file mode 100644
index 000000000..db1daf791
--- /dev/null
+++ b/tests/neg/i1641.scala
@@ -0,0 +1,8 @@
+package bar { object bippy extends (Double => String) { def apply(x: Double): String = "Double" } }
+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))
+    println(bar.bippy(1, 2, 3)) // error
+  }
+}