Convert SAM result types to function types

dwijnand · May 31, 2023 · 8812638 · 8812638
1 parent d0b790e
commit 8812638
Show file tree

Hide file tree

Showing 2 changed files with 13 additions and 1 deletion.
diff --git a/compiler/src/dotty/tools/dotc/typer/Typer.scala b/compiler/src/dotty/tools/dotc/typer/Typer.scala
@@ -1335,7 +1335,10 @@ class Typer(@constructorOnly nestingLevel: Int = 0) extends Namer
         case RefinedType(parent, nme.apply, mt @ MethodTpe(_, formals, restpe))
         if (defn.isNonRefinedFunction(parent) || defn.isErasedFunctionType(parent)) && formals.length == defaultArity =>
           (formals, untpd.DependentTypeTree(syms => restpe.substParams(mt, syms.map(_.termRef))))
-        case SAMType(mt @ MethodTpe(_, formals, restpe)) =>
+        case pt1 @ SAMType(mt @ MethodTpe(_, formals, methResType)) =>
+          val restpe = methResType match
+            case mt: MethodType if !mt.isParamDependent => mt.toFunctionType(isJava = pt1.classSymbol.is(JavaDefined))
+            case tp => tp
           (formals,
            if (mt.isResultDependent)
              untpd.DependentTypeTree(syms => restpe.substParams(mt, syms.map(_.termRef)))

diff --git a/tests/pos/i17183.scala b/tests/pos/i17183.scala
@@ -0,0 +1,9 @@
+trait Dependency
+
+trait MyFunc {
+  def apply(a: Int, b: String)(using Dependency): String
+}
+
+case class Context(f: MyFunc)
+
+def test = Context(f = (_, _) => ???)