Fix some test

Author: noti0na1

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

@@ -16,7 +16,7 @@ object RetainingType:
 
   def apply(tp: Type, typeRefs: Type, byName: Boolean = false)(using Context): Type =
     val annotCls = if byName then defn.RetainsByNameAnnot else defn.RetainsAnnot
-    val annotTree = New(AppliedType(annotCls.typeRef, defn.NothingType :: Nil), Nil)
+    val annotTree = New(AppliedType(annotCls.typeRef, typeRefs :: Nil), Nil)
     AnnotatedType(tp, Annotation(annotTree))
 
   def unapply(tp: AnnotatedType)(using Context): Option[(Type, Type)] =

tests/neg-custom-args/captures/cc-this3.check

@@ -1,12 +1,12 @@
--- [E058] Type Mismatch Error: tests/neg-custom-args/captures/cc-this3.scala:8:6 ---------------------------------------
-8 |class B extends A: // error
+-- [E058] Type Mismatch Error: tests/neg-custom-args/captures/cc-this3.scala:9:6 ---------------------------------------
+9 |class B extends A: // error
   |      ^
   |      illegal inheritance: self type B^ of class B does not conform to self type A^{}
   |      of parent class A
   |
   | longer explanation available when compiling with `-explain`
--- [E058] Type Mismatch Error: tests/neg-custom-args/captures/cc-this3.scala:11:6 --------------------------------------
-11 |class C(val f: () => Int) extends A // error
+-- [E058] Type Mismatch Error: tests/neg-custom-args/captures/cc-this3.scala:12:6 --------------------------------------
+12 |class C(val f: () => Int) extends A // error
    |      ^
    |      illegal inheritance: self type C^{C.this.f} of class C does not conform to self type A^{}
    |      of parent class A

tests/neg-custom-args/captures/cc-this3.scala

@@ -1,3 +1,4 @@
+import language.experimental.captureChecking
 class Cap extends caps.Capability
 
 def eff(using Cap): Unit = ()

tests/pos-custom-args/captures/cc-expand.scala

@@ -11,12 +11,12 @@ object Test:
 
     def x0: A -> B^{ct} = ???
 
-    def x1: A -> B @retains(ct) = ???
-    def x2: A -> B -> C @retains(ct) = ???
-    def x3: A -> () -> B -> C @retains(ct) = ???
+    def x1: A -> B @retains[ct.type] = ???
+    def x2: A -> B -> C @retains[ct.type] = ???
+    def x3: A -> () -> B -> C @retains[ct.type] = ???
 
-    def x4: (x: A @retains(ct)) -> B -> C = ???
+    def x4: (x: A @retains[ct.type]) -> B -> C = ???
 
-    def x5: A -> (x: B @retains[ct.type]) -> () -> C @retains(dt) = ???
+    def x5: A -> (x: B @retains[ct.type]) -> () -> C @retains[dt.type] = ???
     def x6: A -> (x: B @retains[ct.type]) -> (() -> C @retains[dt.type]) @retains[x.type | dt.type] = ???
     def x7: A -> (x: B @retains[ct.type]) -> (() -> C @retains[dt.type]) @retains[x.type] = ???