Change more files to new syntax

Author: odersky

compiler/src/dotty/tools/dotc/semanticdb/Scala3.scala

@@ -212,7 +212,7 @@ object Scala3 with
   // end RangeOps
 
   /** Sort symbol occurrences by their start position. */
-  given OccurrenceOrdering: Ordering[SymbolOccurrence] = (x, y) =>
+  given OccurrenceOrdering as Ordering[SymbolOccurrence] = (x, y) =>
     x.range -> y.range match
     case None -> _ | _ -> None => 0
     case Some(a) -> Some(b) =>

compiler/src/dotty/tools/dotc/typer/Typer.scala

@@ -1302,7 +1302,7 @@ class Typer extends Namer
   }
 
   def typedWhileDo(tree: untpd.WhileDo)(implicit ctx: Context): Tree = {
-    given whileCtx: Context = Nullables.whileContext(tree.span)(using ctx)
+    given whileCtx as Context = Nullables.whileContext(tree.span)(using ctx)
     val cond1 =
       if (tree.cond eq EmptyTree) EmptyTree
       else typed(tree.cond, defn.BooleanType)

tests/neg/i5978.scala

@@ -11,7 +11,6 @@ object TextParser {
     as Conversion[Char, Position[CharSequence]] = ???
 }
 
-
 object Testcase {
   def main(args: Array[String]): Unit = {
     import TextParser._

tests/neg/i7078.scala

@@ -1,8 +1,8 @@
 trait A
 class B extends A
 
-given g1 as _ <: A = B()  // error: `<:' is only allowed for given with `inline' modifier // error
-
-inline given g2 as _ <: A  // error: <: A is not a class type
-  def foo = 2    // error: `=' expected
+given g1 as _ <: A = B()  // error: `_ <:' is only allowed for given with `inline' modifier // error
 
+inline given g2 as _ <: A:  // error: `=' expected
+  def foo = 2
+// error

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

@@ -11,13 +11,14 @@ object Coproduct {
 
   object At {
 
-    given atHead[Head, Tail]: At[Head +: Tail, Head, 0] {
+    given atHead[Head, Tail] as At[Head +: Tail, Head, 0] {
       def cast: Head <:< Head +: Tail = summon[Head <:< Head +: Tail]
     }
 
-    given atTail[Head, Tail, Value, NextIndex <: Int](using atNext: At[Tail, Value, NextIndex]) as At[Head +: Tail, Value, S[NextIndex]] {
+    given atTail[Head, Tail, Value, NextIndex <: Int]
+          (using atNext: At[Tail, Value, NextIndex])
+          as At[Head +: Tail, Value, S[NextIndex]]:
       val cast: Value <:< Head +: Tail = atNext.cast
-    }
 
     given [A](using A) as (() => A)= { () => summon[A]}
   }

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

@@ -2,7 +2,7 @@ object Boom {
   import scala.compiletime._
   trait Fail[A <: Int, B <: Int]
 
-  erased inline given fail[X <: Int, Y <: Int]: Fail[X, Y] = {
+  erased inline given fail[X <: Int, Y <: Int] as Fail[X, Y] = {
      scala.compiletime.summonFrom {
        case t: Fail[X, y] if constValue[y] < constValue[Y] => ???
     }

tests/pos/combine.scala

@@ -2,7 +2,7 @@ trait Semigroup[A] {
   def (x: A).combine(y: A): A
 }
 given Semigroup[Int] = ???
-given [A, B](using Semigroup[A], Semigroup[B]): Semigroup[(A, B)]  = ???
+given [A, B](using Semigroup[A], Semigroup[B]) as Semigroup[(A, B)]  = ???
 object Test extends App {
   ((1, 1)) combine ((2, 2)) // doesn't compile
   ((1, 1): (Int, Int)) combine (2, 2) // compiles

tests/pos/i7851.scala

@@ -8,11 +8,12 @@ object Wrapper { type Aux[T <: Tuple, WrappedT0 <: Tuple] = Wrapper[T] { type Wr
 
 given Wrapper[Unit] { type WrappedT = Unit }
 
-given [T: Wrappable]: Wrapper[T] { type WrappedT = Wrapped[T] }
+given [T: Wrappable] as Wrapper[T] { type WrappedT = Wrapped[T] }
 
-given [H: Wrappable, T <: Tuple, WrappedT0 <: Tuple](using Wrapper.Aux[T, WrappedT0]): Wrapper[H *: T] {
+given [H: Wrappable, T <: Tuple, WrappedT0 <: Tuple]
+      (using Wrapper.Aux[T, WrappedT0])
+      as Wrapper[H *: T]:
   type WrappedT = Wrapped[H] *: WrappedT0
-}
 
 def wrappedFunction[F, FArgs <: Tuple, WrapperFArgs <: Tuple, R: Wrappable](
   function: F

tests/pos/i8198.scala

@@ -5,6 +5,6 @@ trait Eq[A] {
 
 case class Id[T](id: T)
 
-given idEq[A](using eqA: Eq[A]): Eq[Id[A]] = new {
+given idEq[A](using eqA: Eq[A]) as Eq[Id[A]] = new {
   def (i1: Id[A]) === (i2: Id[A]) = !(i1.id /== i2.id)
 }

tests/pos/multi-given.scala

@@ -7,4 +7,4 @@ def foo(implicit a: A, b: B, c: C) = "foo"
 
 given A, B {}
 
-given ops: A with B {}
+given ops as A with B {}