False negative pattern irrefutable for literal

[A4-Tacks]

rust-analyzer version: rust-analyzer 0.4.2957-standalone

rustc version: rustc 1.97.0-nightly (36ba2c771 2026-04-23)

editor or extension: Vim

code snippet to reproduce:

fn main() {
    match 0 {
        0 => (),
    }
    match Some(0) {
        Some(0) => (),
    }
}

Expect: missing match arm ...

Actual: no any diagnostics

[ChayimFriedman2]

We don't implement exhaustiveness checking for literals (and for other things), I have a branch implementing that.

[A4-Tacks]

But enum containing literal patterns are also infected, which is not appropriate

[ChayimFriedman2]

We don't lower literal patterns for exhaustiveness at all.