We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent c79d5f8 commit ea4d619Copy full SHA for ea4d619
compiler/src/dotty/tools/dotc/typer/Namer.scala
@@ -1494,9 +1494,9 @@ class Namer { typer: Typer =>
1494
if (isFullyDefined(tpe, ForceDegree.none)) tpe
1495
else typedAheadExpr(mdef.rhs, tpe).tpe
1496
case TypedSplice(tpt: TypeTree) if !isFullyDefined(tpt.tpe, ForceDegree.none) =>
1497
- val rhsType = typedAheadExpr(mdef.rhs, tpt.tpe).tpe
1498
mdef match {
1499
case mdef: DefDef if mdef.name == nme.ANON_FUN =>
+ val rhsType = typedAheadExpr(mdef.rhs, tpt.tpe).tpe
1500
val hygienicType = avoid(rhsType, paramss.flatten)
1501
if (!hygienicType.isValueType || !(hygienicType <:< tpt.tpe))
1502
ctx.error(i"return type ${tpt.tpe} of lambda cannot be made hygienic;\n" +
0 commit comments