Search results

<code>derive(CoercePointee)</code> is unsound with user-defined attribute macros.

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

A-pinArea: PinArea: Pin

A-proc-macrosArea: Procedural macrosArea: Procedural macros

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

F-derive_coerce_pointeeFeature: RFC 3621's oft-renamed implementationFeature: RFC 3621's oft-renamed implementation

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.

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

requires-nightlyThis issue requires a nightly compiler in some way.This issue requires a nightly compiler in some way.

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-libsRelevant to the library team, which will review and decide on the PR/issue.Relevant to the library team, which will review and decide on the PR/issue.

Status: Open.

#148899 In rust-lang/rust;

· theemathas opened on Nov 13, 2025

Derive macros that emit unsafe code can't rely on mentioning the field type twice

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

A-proc-macrosArea: Procedural macrosArea: Procedural macros

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-1Lang team prioritization drag level 1. https://rust-lang.zulipchat.com/#narrow/channel/410516-t-langLang team prioritization drag level 1. https://rust-lang.zulipchat.com/#narrow/channel/410516-t-lang

T-langRelevant to the language teamRelevant to the language team

Status: Open.

#148793 In rust-lang/rust;

· theemathas opened on Nov 10, 2025

<code>derive(PartialEq)</code> on enums is unsound with user-defined attribute macros.

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

A-proc-macrosArea: Procedural macrosArea: Procedural macros

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.

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-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-libsRelevant to the library team, which will review and decide on the PR/issue.Relevant to the library team, which will review and decide on the PR/issue.

Status: Open.

#148423 In rust-lang/rust;

· theemathas opened on Nov 3, 2025

<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

Annotating the type of transmute of a const causes a reborrow and retag, increasing the amount of UB

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

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

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.

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-opsemRelevant to the opsem teamRelevant to the opsem team

Status: Open.

#146917 In rust-lang/rust;

· theemathas opened on Sep 23, 2025

Constant promotion with interior mutability exposes whether a function was used

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

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

I-lang-docs-nominatedNominated for discussion during a lang-docs team meeting.Nominated for discussion during a lang-docs 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.

T-langRelevant to the language teamRelevant to the language team

Status: Open.

#146833 In rust-lang/rust;

· theemathas opened on Sep 21, 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>format_args</code> deduplicates consts with interior mutability or destructor

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

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

A-fmtArea: `core::fmt`Area: `core::fmt`

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-1Lang team prioritization drag level 1. https://rust-lang.zulipchat.com/#narrow/channel/410516-t-langLang team prioritization drag level 1. https://rust-lang.zulipchat.com/#narrow/channel/410516-t-lang

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.

#145739 In rust-lang/rust;

· theemathas opened on Aug 22, 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-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.

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

<code>super let</code> is allowed in nonsensical positions

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

F-super_letit's super, let's go!it's super, let's go!

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

Status: Open.

#142281 In rust-lang/rust;

· theemathas opened on Jun 10, 2025

An unsafe const fn being used to compute an array length or const generic is incorrectly described as being an "item".

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

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-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.

#133441 In rust-lang/rust;

· theemathas opened on Nov 25, 2024