Merge pull request #117 from scala/backport-lts-3.3-21178

Backport "Do not crash when typing a closure with unknown type, since it can occur for erroneous input" to 3.3 LTS

Author: tgodzik

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

@@ -1722,8 +1722,6 @@ class Typer(@constructorOnly nestingLevel: Int = 0) extends Namer
                   EmptyTree
             }
           case tp =>
-            if !tp.isErroneous then
-              throw new java.lang.Error(i"internal error: closing over non-method $tp, pos = ${tree.span}")
             TypeTree(defn.AnyType)
         }
       else typed(tree.tpt)

tests/neg/i20511-1.check

@@ -0,0 +1,32 @@
+-- [E083] Type Error: tests/neg/i20511-1.scala:7:7 ---------------------------------------------------------------------
+7 |export toppingPrice.apply, crustPrice.apply, crustPrice.unlift // error // error // error // error // error
+  |       ^^^^^^^^^^^^
+  |       Int => Double is not a valid export prefix, since it is not an immutable path
+  |
+  | longer explanation available when compiling with `-explain`
+-- [E083] Type Error: tests/neg/i20511-1.scala:7:27 --------------------------------------------------------------------
+7 |export toppingPrice.apply, crustPrice.apply, crustPrice.unlift // error // error // error // error // error
+  |                           ^^^^^^^^^^
+  |                           Any is not a valid export prefix, since it is not an immutable path
+  |
+  | longer explanation available when compiling with `-explain`
+-- Error: tests/neg/i20511-1.scala:7:38 --------------------------------------------------------------------------------
+7 |export toppingPrice.apply, crustPrice.apply, crustPrice.unlift // error // error // error // error // error
+  |                                      ^^^^^
+  |                                      no eligible member apply at {
+  |                                        def $anonfun(crustType: Double): Double = pakiet.crustPrice(crustType)
+  |                                        closure(pakiet.$anonfun:Any)
+  |                                      }
+-- [E083] Type Error: tests/neg/i20511-1.scala:7:45 --------------------------------------------------------------------
+7 |export toppingPrice.apply, crustPrice.apply, crustPrice.unlift // error // error // error // error // error
+  |                                             ^^^^^^^^^^
+  |                                             Any is not a valid export prefix, since it is not an immutable path
+  |
+  | longer explanation available when compiling with `-explain`
+-- Error: tests/neg/i20511-1.scala:7:56 --------------------------------------------------------------------------------
+7 |export toppingPrice.apply, crustPrice.apply, crustPrice.unlift // error // error // error // error // error
+  |                                                        ^^^^^^
+  |                                          no eligible member unlift at {
+  |                                            def $anonfun(crustType: Double): Double = pakiet.crustPrice(crustType)
+  |                                            closure(pakiet.$anonfun:Any)
+  |                                          }

tests/neg/i20511-1.scala

@@ -0,0 +1,7 @@
+package pakiet
+
+def toppingPrice(size: Int): Double = ???
+
+def crustPrice(crustType: Double): Double = ???
+
+export toppingPrice.apply, crustPrice.apply, crustPrice.unlift // error // error // error // error // error

tests/neg/i20511.check

@@ -0,0 +1,14 @@
+-- [E040] Syntax Error: tests/neg/i20511.scala:7:19 --------------------------------------------------------------------
+7 |export toppingPrice, crustPrice // error // error
+  |                   ^
+  |                   '.' expected, but ',' found
+-- [E040] Syntax Error: tests/neg/i20511.scala:8:0 ---------------------------------------------------------------------
+8 |val i = 1 // error
+  |^^^
+  |'.' expected, but 'end of statement' found
+-- [E083] Type Error: tests/neg/i20511.scala:7:21 ----------------------------------------------------------------------
+7 |export toppingPrice, crustPrice // error // error
+  |                     ^^^^^^^^^^
+  |                     Any is not a valid export prefix, since it is not an immutable path
+  |
+  | longer explanation available when compiling with `-explain`

tests/neg/i20511.scala

@@ -0,0 +1,8 @@
+package pakiet
+
+def toppingPrice(size: Int): Double = ???
+
+def crustPrice(crustType: Double): Double = ???
+
+export toppingPrice, crustPrice // error // error
+val i = 1 // error