scala.compiletime.ops.any.== has overly restrictive type bounds

[noelwelsh]

Minimized code

Using an example from the documentation of any.==

import scala.compiletime.ops.any._
val eq3: "1" == "1" = true

Output

1 |val eq3: "1" == "1" = true
  |         ^
  |       Type argument ("1" : String) does not conform to upper bound AnyVal
1 |val eq3: "1" == "1" = true
  |                ^
  |       Type argument ("1" : String) does not conform to upper bound AnyVal

Expectation

This code should compile to the value true. The overly restrictive type bound on any.== prevents string type literals being used with any.==.

[liufengyun]

This is due to the restriction that X <: AnyVal, while String is not a value type.

    @infix type ==[X <: AnyVal, Y <: AnyVal] <: Boolean

/cc: @MaximeKjaer @OlivierBlanvillain

[bishabosha]

this is a duplicate of #8392