Search results

Add documentation for unstable_feature_bound

A-rustc-dev-guideArea: rustc-dev-guideArea: rustc-dev-guide

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

S-waiting-on-reviewStatus: Awaiting review from the assignee but also interested parties.Status: Awaiting review from the assignee but also interested parties.

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 (in progress).

rust-lang/rustnumber 144676

#144676 In rust-lang/rust;

· tiif opened on Jul 30, 2025

Unsoundness due to 'static coroutines that yield non-'static values.

A-coroutinesArea: CoroutinesArea: Coroutines

A-lifetimesArea: Lifetimes / regionsArea: Lifetimes / regions

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

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

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

#144442 In rust-lang/rust;

· theemathas opened on Jul 25, 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

Check coroutine upvars in dtorck constraint

disposition-mergeThis issue / PR is in PFCP or FCP with a disposition to merge it.This issue / PR is in PFCP or FCP with a disposition to merge it.

final-comment-periodIn the final comment period and will be merged soon unless new substantive objections are raised.In the final comment period and will be merged soon unless new substantive objections are raised.

S-waiting-on-reviewStatus: Awaiting review from the assignee but also interested parties.Status: Awaiting review from the assignee but also interested parties.

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 (in progress).

rust-lang/rustnumber 144156

#144156 In rust-lang/rust;

· compiler-errors opened on Jul 18, 2025

Associated Type bound in GAT Parameter incorrectly errors as unsatisfied

A-trait-systemArea: Trait systemArea: Trait system

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

fixed-by-next-solverFixed by the next-generation trait solver, `-Znext-solver`.Fixed by the next-generation trait solver, `-Znext-solver`.

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.

#144127 In rust-lang/rust;

· T0mstone opened on Jul 18, 2025

trait_sel: sizedness + auto trait goals prefer alias candidates

disposition-mergeThis issue / PR is in PFCP or FCP with a disposition to merge it.This issue / PR is in PFCP or FCP with a disposition to merge it.

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

proposed-final-comment-periodProposed to merge/close by relevant subteam, see T-<team> label. Will enter FCP once signed off.Proposed to merge/close by relevant subteam, see T-<team> label. Will enter FCP once signed off.

S-waiting-on-reviewStatus: Awaiting review from the assignee but also interested parties.Status: Awaiting review from the assignee but also interested parties.

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.

WG-trait-system-refactorThe Rustc Trait System Refactor Initiative (-Znext-solver)The Rustc Trait System Refactor Initiative (-Znext-solver)

Status: Open (in progress).

rust-lang/rustnumber 144064

#144064 In rust-lang/rust;

· davidtwco opened on Jul 17, 2025

<code>[expr; 0]</code> ignores lifetimes

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

A-lifetimesArea: Lifetimes / regionsArea: Lifetimes / regions

A-ZSTArea: Zero-sized types (ZSTs).Area: Zero-sized types (ZSTs).

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

#144045 In rust-lang/rust;

· theemathas opened on Jul 17, 2025

Regression: overflow evaluating X: MetaSized

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

P-lowLow priorityLow priority

regression-from-stable-to-betaPerformance or correctness regression from stable to beta.Performance or correctness regression from stable to beta.

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

#143830 In rust-lang/rust;

· Mark-Simulacrum opened on Jul 12, 2025

· 

1.89.0

Unsize-coercible type causes <code>[SOME_CONST; 0]</code> to execute <code>Drop</code>, but only if type is annotated.

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-ZSTArea: Zero-sized types (ZSTs).Area: Zero-sized types (ZSTs).

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

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

#143671 In rust-lang/rust;

· theemathas opened on Jul 9, 2025

Confusing lifetime error when using HRTB and closure

A-higher-rankedArea: Higher-ranked things (e.g., lifetimes, types, trait bounds aka HRTBs)Area: Higher-ranked things (e.g., lifetimes, types, trait bounds aka HRTBs)

A-implied-boundsArea: Implied bounds / inferred outlives-boundsArea: Implied bounds / inferred outlives-bounds

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

#143588 In rust-lang/rust;

· silver-ymz opened on Jul 7, 2025

<code>overflow evaluating the requirement</code> for Recursively-implemented Traits with Additional Parameters

A-trait-systemArea: Trait systemArea: Trait system

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

fixed-by-next-solverFixed by the next-generation trait solver, `-Znext-solver`.Fixed by the next-generation trait solver, `-Znext-solver`.

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

#143425 In rust-lang/rust;

· zheland opened on Jul 4, 2025

Inconsistent method lookup on never type

A-method-lookupArea: Method lookup (typeck, post `rustc_resolve`, not to be confused with `A-resolve`)Area: Method lookup (typeck, post `rustc_resolve`, not to be confused with `A-resolve`)

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

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

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

#143349 In rust-lang/rust;

· purplesyringa opened on Jul 3, 2025