Skip to content

Commit 23ff23d

Browse files
committed
Add a debugging helper
1 parent b867b3f commit 23ff23d

File tree

1 file changed

+1
-0
lines changed

1 file changed

+1
-0
lines changed

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

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -369,6 +369,7 @@ extension (tp: Type)
369369
val tp1 = narrowCaps(tp)
370370
if narrowCaps.change then
371371
capt.println(i"narrow $tp of $ref to $tp1")
372+
//println(i"reach refinement $tp at $ref to $tp1 (${ctx.compilationUnit})")
372373
tp1
373374
else
374375
tp

0 commit comments

Comments
 (0)