rust-lang / rust-lang/rust-analyzer

False negative pattern irrefutable for literal

Open
#22,754 3 comments 0 reactions 1 assignee View on GitHub

@ChayimFriedman2 is already working on this.

Since Jul 10, 2026.

A-pattern C-feature
Dominant language
Rust
Stars
16.9k
Forks
2.2k
Avg merge
1d 12h
Merged PRs (30d)
72

Description

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

Contributor guide

Open the contributing guide

First steps

  1. Read the whole issue, then the project's contributing guide.
  2. Comment on the issue to say you are picking it up — it saves two people doing the same work.
  3. Fork the repository and make your change on a branch.
  4. Open a pull request that references the issue number.

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.