Backquoted == operator not treat as stable identifier during pattern match.

[jilen]

Compiler version

3.3.0

Minimized code

sealed trait Op
object Op {
  case object `==` extends Op
}

def `is_==`(a: Op): true = {
  a match {
    case Op.`==` => true // won't compile
  }
}

Note other operators like +, - works just fine.

Output

 Stable identifier required, but Playground.Op.== found

Expectation

Should compile fine.

Workaround

Bind it to a constant

[scala-center-bot]

This issue was picked for the Issue Spree No. 34 of 01 August 2023 which takes place in 7 days. @hamzaremmal, @nmcb will be working on it. If you have any insight into the issue or guidance on how to fix it, please leave it here.

[SethTisue]

It isn't obvious to me that we can just carve out an exception for this in the compiler unless we also change the spec?

EDIT: see PR for further commentary