Skip to content

Commit cae3611

Browse files
committed
fix
1 parent eea23a1 commit cae3611

File tree

1 file changed

+11
-11
lines changed

1 file changed

+11
-11
lines changed

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

Lines changed: 11 additions & 11 deletions
Original file line numberDiff line numberDiff line change
@@ -1684,18 +1684,18 @@ class Typer(@constructorOnly nestingLevel: Int = 0) extends Namer
16841684
case defn.PolyFunctionOf(mt @ MethodTpe(_, formals, restpe)) if formals.length == defaultArity =>
16851685
(formals, untpd.InLambdaTypeTree(isResult = true, (_, syms) => restpe.substParams(mt, syms.map(_.termRef))))
16861686
case SAMType(mt @ MethodTpe(_, formals, _), samParent) =>
1687-
if (formals.length != defaultArity)
1688-
(List.tabulate(defaultArity)(alwaysWildcardType), untpd.TypeTree())
1689-
else {
1690-
val restpe = mt.resultType match
1691-
case mt: MethodType => mt.toFunctionType(isJava = samParent.classSymbol.is(JavaDefined))
1692-
case tp => tp
1693-
(formals,
1694-
if (mt.isResultDependent)
1695-
untpd.InLambdaTypeTree(isResult = true, (_, syms) => restpe.substParams(mt, syms.map(_.termRef)))
1687+
val restpe = mt.resultType match
1688+
case mt: MethodType => mt.toFunctionType(isJava = samParent.classSymbol.is(JavaDefined))
1689+
case tp => tp
1690+
val tree =
1691+
if (mt.isResultDependent) {
1692+
if (formals.length != defaultArity)
1693+
untpd.TypeTree()
16961694
else
1697-
typeTree(restpe))
1698-
}
1695+
untpd.InLambdaTypeTree(isResult = true, (_, syms) => restpe.substParams(mt, syms.map(_.termRef)))
1696+
} else
1697+
typeTree(restpe)
1698+
(formals, tree)
16991699
case _ =>
17001700
(List.tabulate(defaultArity)(alwaysWildcardType), untpd.TypeTree())
17011701
}

0 commit comments

Comments
 (0)