File tree Expand file tree Collapse file tree 2 files changed +5
-2
lines changed
compiler/src/dotty/tools/dotc/typer Expand file tree Collapse file tree 2 files changed +5
-2
lines changed Original file line number Diff line number Diff line change @@ -1664,8 +1664,7 @@ class Typer(@constructorOnly nestingLevel: Int = 0) extends Namer
1664
1664
// Replace the underspecified expected type by one based on the closure method type
1665
1665
defn.PartialFunctionOf (mt.firstParamTypes.head, mt.resultType)
1666
1666
else
1667
- report.error(em " result type of lambda is an underspecified SAM type $samParent" , tree.srcPos)
1668
- samParent
1667
+ errorType(em " result type of lambda is an underspecified SAM type $samParent" , tree.srcPos)
1669
1668
TypeTree (targetTpe)
1670
1669
case _ =>
1671
1670
if (mt.isParamDependent)
Original file line number Diff line number Diff line change
1
+ trait SAMFunction1 [- T1 , + R ]:
2
+ def apply (x1 : T1 ): R
3
+
4
+ def fooSAM [T ](foo : SAMFunction1 [T , T ] = (f : T ) => f): Unit = () // error
You can’t perform that action at this time.
0 commit comments