Update to new extension syntax

Author: nicolasstucki

compiler/src/dotty/tools/dotc/core/Contexts.scala

@@ -599,7 +599,7 @@ object Contexts {
     def setDebug: this.type = setSetting(base.settings.Ydebug, true)
   }
 
-  given ops: extension (c: Context) with
+  extension ops on (c: Context) with
     def addNotNullInfo(info: NotNullInfo) =
       c.withNotNullInfos(c.notNullInfos.extendWith(info))
 

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

@@ -67,7 +67,7 @@ object Scala3 with
 
   end Symbols
 
-  given NameOps: extension (name: Name) with
+  extension NameOps on (name: Name) with
 
     def isWildcard = name match
       case nme.WILDCARD | WILDCARDTypeName => true
@@ -89,7 +89,7 @@ object Scala3 with
 
   end NameOps
 
-  given SymbolOps: extension (sym: Symbol) with
+  extension SymbolOps on (sym: Symbol) with
 
     def ifExists(given Context): Option[Symbol] = if sym.exists then Some(sym) else None
 
@@ -146,7 +146,7 @@ object Scala3 with
     case '/' | '.' | '#' | ']' | ')' => true
     case _                           => false
 
-  given StringOps: extension (symbol: String) with
+  extension StringOps on (symbol: String) with
 
     def isSymbol: Boolean = !symbol.isEmpty
     def isRootPackage: Boolean = RootPackage == symbol
@@ -171,7 +171,7 @@ object Scala3 with
 
   end StringOps
 
-  given InfoOps: extension (info: SymbolInformation) with
+  extension InfoOps on (info: SymbolInformation) with
 
     def isAbstract: Boolean = (info.properties & SymbolInformation.Property.ABSTRACT.value) != 0
     def isFinal: Boolean = (info.properties & SymbolInformation.Property.FINAL.value) != 0
@@ -207,7 +207,7 @@ object Scala3 with
 
   end InfoOps
 
-  given RangeOps: extension (range: Range) with
+  extension RangeOps on (range: Range) with
     def hasLength = range.endLine > range.startLine || range.endCharacter > range.startCharacter
   end RangeOps
 

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

@@ -160,7 +160,7 @@ object Nullables with
     // TODO: Add constant pattern if the constant type is not nullable
     case _ => false
 
-  given notNullInfoOps: extension (infos: List[NotNullInfo]) with
+  extension notNullInfoOps on (infos: List[NotNullInfo]) with
 
     /** Do the current not-null infos imply that `ref` is not null?
      *  Not-null infos are as a history where earlier assertions and retractions replace
@@ -191,7 +191,7 @@ object Nullables with
       infos.extendWith(NotNullInfo(Set(), mutables))
   end notNullInfoOps
 
-  given refOps: extension (ref: TermRef) with
+  extension refOps on (ref: TermRef) with
 
     /** Is the use of a mutable variable out of order
      *
@@ -245,7 +245,7 @@ object Nullables with
       && refOwner.isTerm
       && recur(curCtx.owner)
 
-  given treeOps: extension (tree: Tree) with
+    extension treeOps on (tree: Tree) with
 
     /* The `tree` with added nullability attachment */
     def withNotNullInfo(info: NotNullInfo): tree.type =
@@ -335,7 +335,7 @@ object Nullables with
           tree.computeNullable()
       }.traverse(tree)
 
-  given assignOps: extension (tree: Assign) with
+  extension assignOps on (tree: Assign) with
     def computeAssignNullable()(given Context): tree.type = tree.lhs match
       case TrackedRef(ref) =>
         val rhstp = tree.rhs.typeOpt