Skip to content

Commit 64ac531

Browse files
committed
Make RefiningVars level polymorphic
1 parent 83b12bc commit 64ac531

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

compiler/src/dotty/tools/dotc/cc/Setup.scala

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -187,7 +187,7 @@ class Setup extends PreRecheck, SymTransformer, SetupAPI:
187187
if atPhase(thisPhase.next)(getter.termRef.isTracked) then
188188
val getterType = tp.memberInfo(getter).strippedDealias
189189
RefinedType(core, getter.name,
190-
CapturingType(getterType, CaptureSet.RefiningVar(ctx.owner, getter)))
190+
CapturingType(getterType, CaptureSet.RefiningVar(NoSymbol, getter)))
191191
.showing(i"add capture refinement $tp --> $result", ccSetup)
192192
else
193193
core

0 commit comments

Comments
 (0)