Fix dependent variable approximation for by-name parameters

scala · May 21, 2021 · 55a223c · 55a223c
1 parent 22d9782
commit 55a223c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/compiler/src/dotty/tools/dotc/typer/Inferencing.scala b/compiler/src/dotty/tools/dotc/typer/Inferencing.scala
@@ -690,7 +690,7 @@ trait Inferencing { this: Typer =>
 
         val arg = findArg(call)
         if !arg.isEmpty then
-          var argType = arg.tpe
+          var argType = arg.tpe.widenExpr.widenTermRefExpr
           if !argType.isSingleton then argType = SkolemType(argType)
           argType <:< tvar
       case _ =>