Search results

Exhaustive matching doesn't work correctly for Coroutines with never_type variants

A-exhaustiveness-checkingRelating to exhaustiveness / usefulness checking of patternsRelating to exhaustiveness / usefulness checking of patterns

C-bugCategory: This is a bug.Category: This is a bug.

needs-triageThis issue may need triage. Remove it if it has been sufficiently triaged.This issue may need triage. Remove it if it has been sufficiently triaged.

Status: Open.

#143468 In rust-lang/rust;

· henryksloan opened on Jul 5, 2025

Compilation error when matching reference to empty enum

A-exhaustiveness-checkingRelating to exhaustiveness / usefulness checking of patternsRelating to exhaustiveness / usefulness checking of patterns

A-patternsRelating to patterns and pattern matchingRelating to patterns and pattern matching

C-bugCategory: This is a bug.Category: This is a bug.

F-exhaustive_patterns`#![feature(exhaustive_patterns)]``#![feature(exhaustive_patterns)]`

T-compilerRelevant to the compiler team, which will review and decide on the PR/issue.Relevant to the compiler team, which will review and decide on the PR/issue.

T-opsemRelevant to the opsem teamRelevant to the opsem team

T-typesRelevant to the types team, which will review and decide on the PR/issue.Relevant to the types team, which will review and decide on the PR/issue.

Status: Open.

#131452 In rust-lang/rust;

· dhedey opened on Oct 9, 2024

Tracking Issue for Never Patterns (<code>never_patterns</code>)

A-exhaustiveness-checkingRelating to exhaustiveness / usefulness checking of patternsRelating to exhaustiveness / usefulness checking of patterns

B-experimentalBlocker: In-tree experiment; RFC pending, not yet approved or unneeded (requires FCP to stabilize).Blocker: In-tree experiment; RFC pending, not yet approved or unneeded (requires FCP to stabilize).

B-unstableBlocker: Implemented in the nightly compiler and unstable.Blocker: Implemented in the nightly compiler and unstable.

C-tracking-issueCategory: An issue tracking the progress of sth. like the implementation of an RFCCategory: An issue tracking the progress of sth. like the implementation of an RFC

F-never_patterns`#![feature(never_patterns)]``#![feature(never_patterns)]`

S-tracking-impl-incompleteStatus: The implementation is incomplete.Status: The implementation is incomplete.

T-langRelevant to the language teamRelevant to the language team

Status: Open.

#118155 In rust-lang/rust;

· Nadrieril opened on Nov 22, 2023

Rust match bound non-exhaustive patterns when all possible patterns for <code>char</code> are handled

A-exhaustiveness-checkingRelating to exhaustiveness / usefulness checking of patternsRelating to exhaustiveness / usefulness checking of patterns

A-patternsRelating to patterns and pattern matchingRelating to patterns and pattern matching

C-enhancementCategory: An issue proposing an enhancement or a PR with one.Category: An issue proposing an enhancement or a PR with one.

T-compilerRelevant to the compiler team, which will review and decide on the PR/issue.Relevant to the compiler team, which will review and decide on the PR/issue.

Status: Open.

#108932 In rust-lang/rust;

· Arthurdw opened on Mar 9, 2023

mutually exclusive match arms with <code>if</code> cases are not recognized to be covering

A-diagnosticsArea: Messages for errors, warnings, and lintsArea: Messages for errors, warnings, and lints

A-exhaustiveness-checkingRelating to exhaustiveness / usefulness checking of patternsRelating to exhaustiveness / usefulness checking of patterns

C-enhancementCategory: An issue proposing an enhancement or a PR with one.Category: An issue proposing an enhancement or a PR with one.

D-terseDiagnostics: An error or lint that doesn't give enough information about the problem at hand.Diagnostics: An error or lint that doesn't give enough information about the problem at hand.

T-compilerRelevant to the compiler team, which will review and decide on the PR/issue.Relevant to the compiler team, which will review and decide on the PR/issue.

Status: Open.

#93611 In rust-lang/rust;

· drahnr opened on Feb 3, 2022

Tracking Issue for <code>#![feature(non_exhaustive_omitted_patterns_lint)]</code>

A-exhaustiveness-checkingRelating to exhaustiveness / usefulness checking of patternsRelating to exhaustiveness / usefulness checking of patterns

A-lintsArea: Lints (warnings about flaws in source code) such as unused_mut.Area: Lints (warnings about flaws in source code) such as unused_mut.

C-tracking-issueCategory: An issue tracking the progress of sth. like the implementation of an RFCCategory: An issue tracking the progress of sth. like the implementation of an RFC

F-non_exhaustive_omitted_patterns_lint`#![feature(non_exhaustive_omitted_patterns_lint)]``#![feature(non_exhaustive_omitted_patterns_lint)]`

S-tracking-ready-to-stabilizeStatus: This is ready to stabilize; it may need a stabilization report and a PRStatus: This is ready to stabilize; it may need a stabilization report and a PR

T-langRelevant to the language teamRelevant to the language team

Status: Open.

#89554 In rust-lang/rust;

· Nadrieril opened on Oct 5, 2021

Extend overlapping ranges lint to cover cases with more than a single element overlapping

A-exhaustiveness-checkingRelating to exhaustiveness / usefulness checking of patternsRelating to exhaustiveness / usefulness checking of patterns

A-lintsArea: Lints (warnings about flaws in source code) such as unused_mut.Area: Lints (warnings about flaws in source code) such as unused_mut.

I-needs-decisionIssue: In need of a decision.Issue: In need of a decision.

T-langRelevant to the language teamRelevant to the language team

Status: Open.

#65477 In rust-lang/rust;

· estebank opened on Oct 16, 2019

Arms permitted when matching on uninhabited types

A-exhaustiveness-checkingRelating to exhaustiveness / usefulness checking of patternsRelating to exhaustiveness / usefulness checking of patterns

A-lintsArea: Lints (warnings about flaws in source code) such as unused_mut.Area: Lints (warnings about flaws in source code) such as unused_mut.

C-bugCategory: This is a bug.Category: This is a bug.

T-compilerRelevant to the compiler team, which will review and decide on the PR/issue.Relevant to the compiler team, which will review and decide on the PR/issue.

Status: Open.

#55123 In rust-lang/rust;

· varkor opened on Oct 16, 2018

Tracking issue for RFC 1872: <code>exhaustive_patterns</code> feature

A-exhaustiveness-checkingRelating to exhaustiveness / usefulness checking of patternsRelating to exhaustiveness / usefulness checking of patterns

A-patternsRelating to patterns and pattern matchingRelating to patterns and pattern matching

B-unstableBlocker: Implemented in the nightly compiler and unstable.Blocker: Implemented in the nightly compiler and unstable.

C-tracking-issueCategory: An issue tracking the progress of sth. like the implementation of an RFCCategory: An issue tracking the progress of sth. like the implementation of an RFC

F-exhaustive_patterns`#![feature(exhaustive_patterns)]``#![feature(exhaustive_patterns)]`

S-tracking-needs-summaryStatus: It's hard to tell what's been done and what hasn't! Someone should do some investigation.Status: It's hard to tell what's been done and what hasn't! Someone should do some investigation.

T-langRelevant to the language teamRelevant to the language team

Status: Open.

#51085 In rust-lang/rust;

· kennytm opened on May 26, 2018