Merge pull request #7771 from dotty-staging/fix-#7746

Fix #7746: Turn assertion into error

Author: smarter

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

@@ -1104,10 +1104,9 @@ class Typer extends Namer
                 TypeTree(targetTpe)
               case _ =>
                 if (mt.isParamDependent)
-                  throw new java.lang.Error(
+                  errorTree(tree,
                     i"""internal error: cannot turn method type $mt into closure
-                     |because it has internal parameter dependencies,
-                     |position = ${tree.span}, raw type = ${mt.toString}""") // !!! DEBUG. Eventually, convert to an error?
+                     |because it has internal parameter dependencies""")
                 else if ((tree.tpt `eq` untpd.ContextualEmptyTree) && mt.paramNames.isEmpty)
                   // Note implicitness of function in target type since there are no method parameters that indicate it.
                   TypeTree(defn.FunctionOf(Nil, mt.resType, isContextual = true, isErased = false))

tests/neg/i7746.scala

@@ -0,0 +1,3 @@
+class A {
+    def foo = (x : Int, y => x) => () // error // error
+}

tests/pending/neg/i7749.scala

@@ -0,0 +1,6 @@
+trait A {
+    def foo = 4
+}
+object B extends A {
+    private[this] def foo = 0
+}