update given syntax in tests

Author: odersky

scala3doc-testcases/src/tests/givenDRI.scala

@@ -4,19 +4,19 @@ trait A[T]
 trait B[T]
 trait C
 
-given A[Int]
+given A[Int] with {}
 
-given A[String]
+given A[String] with {}
 
-given A[Seq[String]]
+given A[Seq[String]] with {}
 
 given [T: A]: A[Option[T]] with {}
 
 given [T: B]: A[T] with {}
 
 given [C]: A[C] with {}
 
-given A[C]
+given A[C] with {}
 
 given [S <: C]: A[S] with {}
 

scala3doc-testcases/src/tests/inheritedMembers1.scala

@@ -10,7 +10,7 @@ class A
       = ???
     object X
     trait Z
-    given B
+    given B with {}
     type I = Int
     /*<-*/extension (a: A) /*->*/def extension: String
       = ???

tests/neg-macros/i7919.scala

@@ -8,11 +8,11 @@ object Test {
     '{ "in staged" }
   }
 
-  given Expr[Int] // error
+  given Expr[Int] with {} // error
   new Expr[Int] // error
   class Expr2 extends Expr[Int] // error
 
-  given Type[Int] // error
+  given Type[Int] with {} // error
   new Type[Int] // error
   class Type2 extends Type[Int] // error
 

tests/neg/empty-given.scala

@@ -1,3 +1,3 @@
-given {
+given {    // error
   def foo = 1  // error
-}
+} // error

tests/neg/i5978.scala

@@ -8,7 +8,7 @@ object TextParser {
   given TP: TokenParser[Char, Position[CharSequence]] with {}
 
   given FromCharToken(using T: TokenParser[Char, Position[CharSequence]])
-    as Conversion[Char, Position[CharSequence]] = ???
+    : Conversion[Char, Position[CharSequence]] = ???
 }
 
 object Testcase {

tests/neg/transparent.scala

@@ -5,5 +5,5 @@ transparent class c // error
 transparent object y // error
 transparent trait t // ok
 transparent type T = c  // error
-transparent given c // error
+transparent given c with {} // error
 

tests/pos-custom-args/erased/i7868.scala

@@ -18,7 +18,7 @@ object Coproduct {
 
     given atTail[Head, Tail, Value, NextIndex <: Int]
           (using atNext: At[Tail, Value, NextIndex])
-          as At[Head +: Tail, Value, S[NextIndex]]:
+      : At[Head +: Tail, Value, S[NextIndex]] with
       val cast: Value <:< Head +: Tail = atNext.cast
 
     given [A](using A): (() => A) = { () => summon[A]}

tests/pos/i5978.scala

@@ -16,7 +16,7 @@ package p1 {
 
       // skipping newlines is OK here
 
-      as Conversion[Char, Position[CharSequence]] = ???
+      : Conversion[Char, Position[CharSequence]] = ???
   }
 
   object Testcase {

tests/pos/i6716.scala

@@ -1,7 +1,7 @@
 trait Monad[T]
 class Foo
 object Foo {
-  given Monad[Foo]
+  given Monad[Foo] with {}
 }
 
 opaque type Bar = Foo

tests/pos/i6864.scala

@@ -1,17 +1,17 @@
 class A
 class B
 
-given A
-given B
+given A with {}
+given B with {}
 
 trait Foo
 trait Bar
 
-given Foo
-given Bar
+given Foo with {}
+given Bar with {}
 
 trait C
 trait Baz[A]
 
-given C
+given C with {}
 given [A]: Baz[A] with {}