diff --git a/compiler/src/dotty/tools/dotc/typer/Inferencing.scala b/compiler/src/dotty/tools/dotc/typer/Inferencing.scala
index fd29f585eed8..97f14e2fe5a4 100644
--- 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 _ =>