Merge pull request #8723 from MaximeKjaer/fix-singleton-ops-8392

Fix #8392: Remove parameter type bounds from scala.compiletime.ops.any types

Author: liufengyun

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

@@ -11,7 +11,7 @@ package object ops {
      * val eq3: "1" == "1" = true
      * ```
      */
-    @infix type ==[X <: AnyVal, Y <: AnyVal] <: Boolean
+    @infix type ==[X, Y] <: Boolean
 
     /** Inequality comparison of two singleton types.
      * ```scala
@@ -20,7 +20,7 @@ package object ops {
      * val eq3: "1" != "1" = false
      * ```
      */
-    @infix type !=[X <: AnyVal, Y <: AnyVal] <: Boolean
+    @infix type !=[X, Y] <: Boolean
   }
 
   object string {

tests/neg/singleton-ops-any.check

@@ -0,0 +1,20 @@
+-- [E007] Type Mismatch Error: tests/neg/singleton-ops-any.scala:6:23 --------------------------------------------------
+6 |  val t34: 10 == "5" = true // error
+  |                       ^^^^
+  |                       Found:    (true : Boolean)
+  |                       Required: (false : Boolean)
+-- [E007] Type Mismatch Error: tests/neg/singleton-ops-any.scala:7:22 --------------------------------------------------
+7 |  val t35: 10 == 10 = false // error
+  |                      ^^^^^
+  |                      Found:    (false : Boolean)
+  |                      Required: (true : Boolean)
+-- [E007] Type Mismatch Error: tests/neg/singleton-ops-any.scala:12:24 -------------------------------------------------
+12 |  val t38: false != 5 = false // error
+   |                        ^^^^^
+   |                        Found:    (false : Boolean)
+   |                        Required: (true : Boolean)
+-- [E007] Type Mismatch Error: tests/neg/singleton-ops-any.scala:13:22 -------------------------------------------------
+13 |  val t39: 10 != 10 = true // error
+   |                      ^^^^
+   |                      Found:    (true : Boolean)
+   |                      Required: (false : Boolean)

tests/neg/singleton-ops-any.scala

@@ -5,6 +5,7 @@ object Test {
   val t33: 0 == false = false
   val t34: 10 == "5" = true // error
   val t35: 10 == 10 = false // error
+  val t35string: "10" == "10" = true
 
   val t36: 1 != 1 = false
   val t37: 0 != 1 = true