Make printing of capture sets work also when testing Pickler

scala · Oct 29, 2023 · 041f9ce · 041f9ce
1 parent 78c2220
commit 041f9ce
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 8 deletions.
diff --git a/compiler/src/dotty/tools/dotc/printing/RefinedPrinter.scala b/compiler/src/dotty/tools/dotc/printing/RefinedPrinter.scala
@@ -640,7 +640,9 @@ class RefinedPrinter(_ctx: Context) extends PlainPrinter(_ctx) {
           try changePrec(GlobalPrec)(toText(arg) ~ "^" ~ toTextCaptureSet(captureSet))
           catch case ex: IllegalCaptureRef => toTextAnnot
         if annot.symbol.maybeOwner == defn.RetainsAnnot
-            && Feature.ccEnabled && Config.printCaptureSetsAsPrefix && !printDebug
+            && Feature.ccEnabled
+            && Config.printCaptureSetsAsPrefix && !printDebug
+            && Phases.checkCapturesPhase.exists // might be missing on -Ytest-pickler
         then toTextRetainsAnnot
         else toTextAnnot
       case EmptyTree =>

diff --git a/tests/pos-custom-args/captures/i18699.scala b/tests/pos-custom-args/captures/i18699.scala