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 5b587b5 commit d1fe1fdCopy full SHA for d1fe1fd
compiler/src/dotty/tools/dotc/cc/Capability.scala
@@ -898,9 +898,9 @@ object Capabilities:
898
case t @ AnnotatedType(parent, ann) =>
899
val parent1 = this(parent)
900
if ann.symbol.isRetains && ann.tree.toCaptureSet.containsCap then
901
- // TODO: this can cause infinite recursion in some cases during printing
+ // Applying `this` can cause infinite recursion in some cases during printing.
902
// scalac -Xprint:all tests/pos/i23885/S_1.scala tests/pos/i23885/S_2.scala
903
- this(CapturingType(parent1, ann.tree.toCaptureSet))
+ mapOver(CapturingType(parent1, ann.tree.toCaptureSet))
904
else
905
t.derivedAnnotatedType(parent1, ann)
906
case defn.RefinedFunctionOf(_) =>
0 commit comments