Search results

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

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

<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

A lifetime-dependent bound is not merged into a higher-ranked lifetime bound

A-lifetimesArea: Lifetimes / regionsArea: Lifetimes / regions

A-trait-systemArea: Trait systemArea: Trait system

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

#143304 In rust-lang/rust;

· fjarri opened on Jul 1, 2025

Can't specific multiple associated type bindings for same GAT even if args differ

A-associated-itemsArea: Associated items (types, constants & functions)Area: Associated items (types, constants & functions)

A-GATsArea: Generic associated types (GATs)Area: Generic associated types (GATs)

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

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.

#143143 In rust-lang/rust;

· Jules-Bertholet opened on Jun 28, 2025

false positive <code>unused_associated_type_bounds</code> bounds needed for code to compile

A-dyn-traitArea: trait objects, vtable layoutArea: trait objects, vtable layout

A-suggestion-diagnosticsArea: Suggestions generated by the compiler applied by `cargo fix`Area: Suggestions generated by the compiler applied by `cargo fix`

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

D-invalid-suggestionDiagnostics: A structured suggestion resulting in incorrect code.Diagnostics: A structured suggestion resulting in incorrect code.

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.

#143132 In rust-lang/rust;

· matthiaskrgr opened on Jun 28, 2025