False warning about non-exhaustive match

[rskfocus]

Compiler version

3.2.1

Minimized code

sealed trait Tag[A]

enum Hidden:
  case Reveal[A](
    init: A,
    reduce: (A, A) => A
  ) extends Hidden with Tag[A]

trait Handle[C]:
  def apply[A](c: C & Tag[A]): A

val x = new Handle[Hidden] {
  def apply[A](c: Hidden & Tag[A]): A = c match {
    case Hidden.Reveal(x, _) => x
  }
}

Output

[warn] -- [E029] Pattern Match Exhaustivity Warning: /home/<redacted>:51:42 
[warn] 51 |    def apply[A](c: Hidden & Tag[A]): A = c match {
[warn]    |                                          ^
[warn]    |                      match may not be exhaustive.
[warn]    |
[warn]    |                      It would fail on pattern case: Hidden.Reveal(_, _)

Expectation

No warning is emitted by compiler.