Remove @infix annotation

Author: odersky

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

@@ -940,7 +940,6 @@ class Definitions {
   @tu lazy val SetterMetaAnnot: ClassSymbol = requiredClass("scala.annotation.meta.setter")
   @tu lazy val ShowAsInfixAnnot: ClassSymbol = requiredClass("scala.annotation.showAsInfix")
   @tu lazy val FunctionalInterfaceAnnot: ClassSymbol = requiredClass("java.lang.FunctionalInterface")
-  @tu lazy val InfixAnnot: ClassSymbol = requiredClass("scala.annotation.infix")
   @tu lazy val TargetNameAnnot: ClassSymbol = requiredClass("scala.annotation.targetName")
   @tu lazy val VarargsAnnot: ClassSymbol = requiredClass("scala.annotation.varargs")
 

compiler/src/dotty/tools/dotc/transform/SymUtils.scala

@@ -242,7 +242,6 @@ object SymUtils:
     /** Is symbol assumed or declared as an infix symbol? */
     def isDeclaredInfix(using Context): Boolean =
       self.is(Infix)
-      || self.hasAnnotation(defn.InfixAnnot)
       || defn.isInfix(self)
       || self.name.isUnapplyName
         && self.owner.is(Module)

library/src/scala/annotation/infix.scala

@@ -1,7 +1,5 @@
 package scala.compiletime
 
-import scala.annotation.infix
-
 package object ops {
   object any {
     /** Equality comparison of two singleton types.

library/src/scala/compiletime/ops/package.scala

@@ -1,5 +1,4 @@
 // Compile with -strict -Xfatal-warnings -deprecation
-import scala.annotation.infix
 class C:
   infix def op(x: Int): Int = ???
   def meth(x: Int): Int = ???

tests/neg-custom-args/infix.scala

@@ -7,4 +7,4 @@ val a = 1
 
   val fetch = implicitly[Test[1]]
 
-@main def main() : Unit = {}
+@main def tester() : Unit = {}

tests/pos/i8256.scala

@@ -1,5 +1,3 @@
-import annotation.infix
-
 object ExtMethods:
 
   case class Circle(x: Double, y: Double, radius: Double)

tests/pos/reference/extension-methods.scala

@@ -1,5 +1,4 @@
 import scala.compiletime.ops._
-import scala.annotation.infix
 
 object Test {
   infix type +[X <: Int | String, Y <: Int | String] = (X, Y) match {

tests/pos/singleton-ops-dispatch.scala

@@ -1,5 +1,4 @@
 import scala.compiletime.ops.int._
-import scala.annotation.infix
 
 object Test {
   class Vec[S <: Int] {

tests/pos/singleton-ops-test-issue-8287.scala

@@ -1,4 +1,4 @@
-import annotation.{infix, targetName}
+import annotation.targetName
 object Test extends App {
 
   case class Rational(n: Int, d: Int) {