Fix PostCapture

Author: odersky

compiler/src/dotty/tools/dotc/transform/PostCapture.scala

@@ -11,9 +11,9 @@ import SymDenotations.SymDenotation
 import cc.*
 
 /** A denotation transformer that comes after the CheckCaptures. It resets
- *  all CapturingTypes in the info of derived SingletonDenotations to AnnotatedTypes.
- *  SymDenotations are left unchaged. For them, the info is already reset in
- *  Rechecl#updateInfo.
+ *  all CapturingTypes in the info of derived SingletonDenotations to
+ *  regular AnnotatedTypes. SymDenotations are left unchaged. For them,
+ *  the info is already reset in Recheck#updateInfo.
  */
 class PostCapture extends Phase, InfoTransformer:
   thisPhase =>
@@ -27,7 +27,7 @@ class PostCapture extends Phase, InfoTransformer:
     val mapType = new TypeMap:
       def apply(t: Type) = t match
         case CapturingType(parent, cs) =>
-          AnnotatedType(this(parent), CaptureAnnotation(cs))
+          AnnotatedType(this(parent), cs.toRegularAnnotation)
         case _ =>
           mapOver(t)
     mapType(tp)