Search results

<code>#[non_exhaustive]</code> affects whether code has UB or not, according to Miri

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

A-MIRArea: Mid-level IR (MIR) - https://blog.rust-lang.org/2016/04/19/MIR.htmlArea: Mid-level IR (MIR) - https://blog.rust-lang.org/2016/04/19/MIR.html

A-miriArea: The miri toolArea: The miri tool

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

C-discussionCategory: Discussion or questions that doesn't represent real issues.Category: Discussion or questions that doesn't represent real issues.

I-lang-radarItems that are on lang's radar and will need eventual work or consideration.Items that are on lang's radar and will need eventual work or consideration.

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-langRelevant to the language teamRelevant to the language team

T-opsemRelevant to the opsem teamRelevant to the opsem team

Status: Open.

#147722 In rust-lang/rust;

· theemathas opened on Oct 15, 2025

Generic patterns and generic array lengths can call const fn with impossible generics

A-arrayArea: `[T; N]`Area: `[T; N]`

A-const-evalArea: Constant evaluation, covers all const contexts (static, const fn, ...)Area: Constant evaluation, covers all const contexts (static, const fn, ...)

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

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.

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-langRelevant to the language teamRelevant to the language team

Status: Open.

#147721 In rust-lang/rust;

· theemathas opened on Oct 15, 2025

Const patterns can have different behavior from PartialEq, due to incorrect bounds in <code>derive(PartialEq)</code>

A-macrosArea: All kinds of macros (custom derive, macro_rules!, proc macros, ..)Area: All kinds of macros (custom derive, macro_rules!, proc macros, ..)

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

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.

T-langRelevant to the language teamRelevant to the language team

Status: Open.

#147714 In rust-lang/rust;

· theemathas opened on Oct 15, 2025

Uninhabited types have strange borrow-checking behavior, even behind references

A-borrow-checkerArea: The borrow checkerArea: The borrow checker

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.

I-lang-radarItems that are on lang's radar and will need eventual work or consideration.Items that are on lang's radar and will need eventual work or consideration.

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-langRelevant to the language teamRelevant to the language team

Status: Open.

#146590 In rust-lang/rust;

· theemathas opened on Sep 15, 2025

<code>ref</code> patterns can const-promote a single constant more than once

A-const-evalArea: Constant evaluation, covers all const contexts (static, const fn, ...)Area: Constant evaluation, covers all const contexts (static, const fn, ...)

A-constant-promotionArea: constant promotionArea: constant promotion

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

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

I-lang-nominatedNominated for discussion during a lang team meeting.Nominated for discussion during a lang team meeting.

I-lang-radarItems that are on lang's radar and will need eventual work or consideration.Items that are on lang's radar and will need eventual work or consideration.

P-lang-drag-3Lang team prioritization drag level 3.https://rust-lang.zulipchat.com/#narrow/channel/410516-t-lang.Lang team prioritization drag level 3.https://rust-lang.zulipchat.com/#narrow/channel/410516-t-lang.

T-langRelevant to the language teamRelevant to the language team

Status: Open.

#145555 In rust-lang/rust;

· theemathas opened on Aug 18, 2025

Match guard can both move and static-promote a single constant

A-borrow-checkerArea: The borrow checkerArea: The borrow checker

A-const-evalArea: Constant evaluation, covers all const contexts (static, const fn, ...)Area: Constant evaluation, covers all const contexts (static, const fn, ...)

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

C-discussionCategory: Discussion or questions that doesn't represent real issues.Category: Discussion or questions that doesn't represent real issues.

I-lang-nominatedNominated for discussion during a lang team meeting.Nominated for discussion during a lang team meeting.

I-lang-radarItems that are on lang's radar and will need eventual work or consideration.Items that are on lang's radar and will need eventual work or consideration.

P-lang-drag-3Lang team prioritization drag level 3.https://rust-lang.zulipchat.com/#narrow/channel/410516-t-lang.Lang team prioritization drag level 3.https://rust-lang.zulipchat.com/#narrow/channel/410516-t-lang.

T-langRelevant to the language teamRelevant to the language team

Status: Open.

#145237 In rust-lang/rust;

· theemathas opened on Aug 11, 2025

Consuming a value with a destructuring pattern doesn't end its borrows for drop-check.

A-borrow-checkerArea: The borrow checkerArea: The borrow checker

A-destructorsArea: Destructors (`Drop`, …)Area: Destructors (`Drop`, …)

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

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.

#145032 In rust-lang/rust;

· theemathas opened on Aug 7, 2025

<code>&amp;raw const</code> gets static-promoted in match guard

A-const-evalArea: Constant evaluation, covers all const contexts (static, const fn, ...)Area: Constant evaluation, covers all const contexts (static, const fn, ...)

A-constant-promotionArea: constant promotionArea: constant promotion

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

C-discussionCategory: Discussion or questions that doesn't represent real issues.Category: Discussion or questions that doesn't represent real issues.

T-langRelevant to the language teamRelevant to the language team

Status: Open.

#144939 In rust-lang/rust;

· theemathas opened on Aug 5, 2025

Using a reference to a self-referential static as a pattern causes stack overflow

A-const-evalArea: Constant evaluation, covers all const contexts (static, const fn, ...)Area: Constant evaluation, covers all const contexts (static, const fn, ...)

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

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

I-crashIssue: The compiler crashes (SIGSEGV, SIGABRT, etc). Use I-ICE instead when the compiler panics.Issue: The compiler crashes (SIGSEGV, SIGABRT, etc). Use I-ICE instead when the compiler panics.

I-ICEIssue: The compiler panicked, giving an Internal Compilation Error (ICE) ❄️Issue: The compiler panicked, giving an Internal Compilation Error (ICE) ❄️

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.

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.

#144719 In rust-lang/rust;

· theemathas opened on Jul 31, 2025

Patterns sometimes ignores lifetimes.

A-borrow-checkerArea: The borrow checkerArea: The borrow checker

A-lifetimesArea: Lifetimes / regionsArea: Lifetimes / regions

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

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

I-ICEIssue: The compiler panicked, giving an Internal Compilation Error (ICE) ❄️Issue: The compiler panicked, giving an Internal Compilation Error (ICE) ❄️

I-unsoundIssue: A soundness hole (worst kind of bug), see: https://en.wikipedia.org/wiki/SoundnessIssue: A soundness hole (worst kind of bug), see: https://en.wikipedia.org/wiki/Soundness

P-highHigh priorityHigh priority

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.

#144312 In rust-lang/rust;

· theemathas opened on Jul 22, 2025

<code>match</code> on uninhabited type does not trigger UB in Miri

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

A-MIRArea: Mid-level IR (MIR) - https://blog.rust-lang.org/2016/04/19/MIR.htmlArea: Mid-level IR (MIR) - https://blog.rust-lang.org/2016/04/19/MIR.html

A-miriArea: The miri toolArea: The miri tool

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

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.

T-opsemRelevant to the opsem teamRelevant to the opsem team

Status: Open.

#142394 In rust-lang/rust;

· theemathas opened on Jun 12, 2025