Update most tests to new syntax

I left some tests to use the old syntax, just so that we have early warnings for possible regressions. But most tests are now using the new syntax, so that we best reassurance that corner cases work.

Author: odersky

docs/_docs/reference/contextual/sip-64.md

@@ -5,7 +5,7 @@ object test1 {
   class ToExpr[T](using Liftable[T]) extends Conversion[T, Expr[T]] {
     def apply(x: T): Expr[T] = ???
   }
-  given toExprFun[T](using Liftable[T]): ToExpr[T] with {}
+  given toExprFun: [T] => Liftable[T] => ToExpr[T]()
 
   given Liftable[Int] = ???
   given Liftable[String] = ???
@@ -16,14 +16,12 @@ object test1 {
   def a: Expr[String] = "abc"
 }
 
-object test2 {
+object test2:
 
-  given autoToExpr[T](using Liftable[T]): Conversion[T, Expr[T]] with {
+  given autoToExpr: [T] => Liftable[T] => Conversion[T, Expr[T]]:
     def apply(x: T): Expr[T] = ???
-  }
 
   given Liftable[Int] = ???
   given Liftable[String] = ???
 
   def a: Expr[String] = "abc"
-}

tests/init/crash/i6914.scala

@@ -3,19 +3,17 @@ object XObject {
 
   def anX: X = 5
 
-  given ops: Object with {
+  given ops: Object:
     extension (x: X) def + (y: X): X = x + y
-  }
 }
 
 object MyXObject {
   opaque type MyX = XObject.X
 
   def anX: MyX = XObject.anX
 
-  given ops: Object with {
+  given ops: Object:
     extension (x: MyX) def + (y: MyX): MyX = x + y // error: warring: Infinite recursive call
-  }
 }
 
 object Main extends App {

tests/init/crash/i7821.scala

@@ -35,15 +35,15 @@ object BigFloat extends App {
     def fromDigits(digits: String) = apply(digits)
   }
 
-  given BigFloatFromDigits with {
+  given BigFloatFromDigits {
     override inline def fromDigits(digits: String) = ${
       BigFloatFromDigitsImpl('digits)
     }
   }
 
   // Should be in StdLib:
 
-  given ToExpr[BigInt] with {
+  given ToExpr[BigInt] {
     def apply(x: BigInt)(using Quotes) =
       '{BigInt(${Expr(x.toString)})}
   }

tests/neg-macros/BigFloat/BigFloat_1.scala

@@ -16,7 +16,7 @@ object Even {
     def fromDigits(digits: String) = evenFromDigits(digits)
   }
 
-  given EvenFromDigits with {
+  given EvenFromDigits {
     override transparent inline def fromDigits(digits: String) = ${
       EvenFromDigitsImpl('digits)
     }

tests/neg-macros/GenericNumLits/Even_1.scala

@@ -3,7 +3,7 @@ package x
 import scala.language.implicitConversions
 import scala.concurrent.Future
 
-given FutureAsyncMonad: CpsMonad[Future] with
+given FutureAsyncMonad: CpsMonad[Future]:
   def pure[T](t:T): Future[T] = ???
   def impure[T](t:Future[T]): T = ???
   def map[A,B](x:Future[A])(f: A=>B): Future[B] = ???

tests/neg-macros/i11483/Test_2.scala

@@ -16,7 +16,7 @@ trait Baz
 trait Width[T]:
   type Out <: Int
 object Width:
-  given fromDFBoolOrBit[T <: DFBoolOrBit]: Width[T] with
+  given fromDFBoolOrBit: [T <: DFBoolOrBit] => Width[T]:
     type Out = 1
   transparent inline given [T]: Width[T] = ${ getWidthMacro[T] }
   def getWidthMacro[T](using Quotes, Type[T]): Expr[Width[T]] =
@@ -38,7 +38,7 @@ private object CompanionsDFBits:
       type OutW <: Int
       def apply(value: R): DFValOf[DFBits[OutW]]
     object Candidate:
-      given fromDFUInt[W <: Int, R <: DFValOf[DFDecimal]]: Candidate[R] with
+      given fromDFUInt: [W <: Int, R <: DFValOf[DFDecimal]] => Candidate[R]:
         type OutW = W
         def apply(value: R): DFValOf[DFBits[W]] =
           import DFVal.Ops.bits

tests/neg-macros/i17152/DFBits.scala

@@ -10,7 +10,7 @@ object Macros {
     '{ () }
 
   }
-  given [A](using Type[A]): FromExpr[Assertion[A]] with {
+  given [A] => Type[A] => FromExpr[Assertion[A]] {
     def unapply(assertion: Expr[Assertion[A]])(using Quotes): Option[Assertion[A]] = {
       import quotes.reflect.*
 

tests/neg-macros/i19601/Macro.scala

@@ -3,16 +3,16 @@ import scala.quoted.*
 object Test {
   def staged[T](using Quotes) = {
     import quotes.reflect.*
-    given typeT: Type[T] with {} // error
+    given typeT: Type[T] {} // error
     val tt = TypeRepr.of[T]
     '{ "in staged" }
   }
 
-  given Expr[Int] with {} // error
+  given Expr[Int] {} // error
   new Expr[Int] // error
   class Expr2 extends Expr[Int] // error
 
-  given Type[Int] with {} // error
+  given Type[Int] {} // error
   new Type[Int] // error
   class Type2 extends Type[Int] // error
 

tests/neg-macros/i7919.scala

@@ -16,7 +16,7 @@ object Even {
     def fromDigits(digits: String) = evenFromDigits(digits)
   }
 
-  given EvenFromDigits with {
+  given EvenFromDigits {
     override inline def fromDigits(digits: String) = ${
       EvenFromDigitsImpl('digits)
     }