Fix decomposeProto

odersky · odersky · commit 27c9fc53fbff · 2021-06-20T10:06:35.000+02:00
Strip off capturing types before decomposing a function prototype
diff --git a/compiler/src/dotty/tools/dotc/typer/Typer.scala b/compiler/src/dotty/tools/dotc/typer/Typer.scala
@@ -1127,7 +1127,7 @@ class Typer extends Namer
         case _ => mapOver(t)
     }
 
-    val pt1 = pt.stripTypeVar.dealias
+    val pt1 = pt.stripped.dealias
     if (pt1 ne pt1.dropDependentRefinement)
        && defn.isContextFunctionType(pt1.nonPrivateMember(nme.apply).info.finalResultType)
     then

Original file line number	Diff line number	Diff line change
`@@ -1127,7 +1127,7 @@ class Typer extends Namer`
`1127`	`1127`	`case _ => mapOver(t)`
`1128`	`1128`	`}`
`1129`	`1129`
`1130`		`- val pt1 = pt.stripTypeVar.dealias`
	`1130`	`+ val pt1 = pt.stripped.dealias`
`1131`	`1131`	`if (pt1 ne pt1.dropDependentRefinement)`
`1132`	`1132`	`&& defn.isContextFunctionType(pt1.nonPrivateMember(nme.apply).info.finalResultType)`
`1133`	`1133`	`then`