Don't leave underspecified SAM types in the code

Fixes #15785 [Cherry-picked c8f3a6f]
scala · Jun 27, 2024 · 3bc09f3 · 3bc09f3
1 parent a9962c1
commit 3bc09f3
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 2 deletions.
diff --git a/compiler/src/dotty/tools/dotc/typer/Typer.scala b/compiler/src/dotty/tools/dotc/typer/Typer.scala
@@ -1664,8 +1664,7 @@ class Typer(@constructorOnly nestingLevel: Int = 0) extends Namer
                     // Replace the underspecified expected type by one based on the closure method type
                     defn.PartialFunctionOf(mt.firstParamTypes.head, mt.resultType)
                   else
-                    report.error(em"result type of lambda is an underspecified SAM type $samParent", tree.srcPos)
-                    samParent
+                    errorType(em"result type of lambda is an underspecified SAM type $samParent", tree.srcPos)
                 TypeTree(targetTpe)
               case _ =>
                 if (mt.isParamDependent)

diff --git a/tests/neg/i15785.scala b/tests/neg/i15785.scala
@@ -0,0 +1,4 @@
+trait SAMFunction1[-T1, +R]:
+  def apply(x1: T1): R
+
+def fooSAM[T](foo: SAMFunction1[T, T] = (f: T) => f): Unit = ()  // error