We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 9bdf3a7 commit 69ddc4bCopy full SHA for 69ddc4b
compiler/src/dotty/tools/dotc/cc/CaptureOps.scala
@@ -369,6 +369,7 @@ extension (tp: Type)
369
val tp1 = narrowCaps(tp)
370
if narrowCaps.change then
371
capt.println(i"narrow $tp of $ref to $tp1")
372
+ //println(i"reach refinement $tp at $ref to $tp1 (${ctx.compilationUnit})")
373
tp1
374
else
375
tp
0 commit comments