strictEquality `==` works even if the given `CanEqual` fails

[soronpo]

If an implicit to the CanEqual is introduced and fails, the == operation still compiles successfully.

Compiler version

v3.1.0-RC3

Minimized code

import scala.language.strictEquality
class Foo()
inline given CanEqual[Int, Foo] = compiletime.error("This should fail")

val x = 1 == Foo()

Output

No error

Expectation

We should get the error "This should fail"

[bishabosha]

I would not call this as a bug, the spec only requires that a definition exists in context for CanEqual[L, R], it is never actually evaluated by ==