Merge pull request #8448 from dotty-staging/fix-#6391

Fix #6391: Fix error message

Author: nicolasstucki

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

@@ -1155,8 +1155,8 @@ class Typer extends Namer
               case _ =>
                 if (mt.isParamDependent)
                   errorTree(tree,
-                    i"""internal error: cannot turn method type $mt into closure
-                     |because it has internal parameter dependencies""")
+                    i"""cannot turn method type $mt into closure
+                       |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/i6391.scala

@@ -0,0 +1,4 @@
+object Test {
+  def foo(x: String, y: x.type): Any = ???
+  val f = foo  // error // error: cannot convert to closure
+}