Fix #8861: Replace type variables by wildcards in closure results

When passing down an expected result type for typing a closure body,
replace any type variables by wildcards. This is needed to avoid such
type variables getting constraints that are polluted with local parameters.

Author: odersky

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

@@ -1496,7 +1496,14 @@ class Namer { typer: Typer =>
       case TypedSplice(tpt: TypeTree) if !isFullyDefined(tpt.tpe, ForceDegree.none) =>
         mdef match {
           case mdef: DefDef if mdef.name == nme.ANON_FUN =>
-            val rhsType = typedAheadExpr(mdef.rhs, tpt.tpe).tpe
+            // Need to constrain the type varianbes in the handed-down expected
+            // result type with the actual result type of the closure body.
+            // Two steps:
+            //  1. Type closure body with the wildcard approximation of the expected result type.
+            //     wildApprox is needed since otherwise type variables in the expected result type
+            //     might get polluted constraints referring to local parameters.
+            //  2. Constrain the expected result type from below with the actual result type.
+            val rhsType = typedAheadExpr(mdef.rhs, wildApprox(tpt.tpe)).tpe
             val hygienicType = avoid(rhsType, paramss.flatten)
             if (!hygienicType.isValueType || !(hygienicType <:< tpt.tpe))
               ctx.error(i"return type ${tpt.tpe} of lambda cannot be made hygienic;\n" +