Search results

We don't perform sized elaboration for impl-Trait-in-bindings (trait ascription)

A-impl-traitArea: `impl Trait`. Universally / existentially quantified anonymous types with static dispatch. Area: `impl Trait`. Universally / existentially quantified anonymous types with static dispatch.

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

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

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: Closed (completed).

#144135 In rust-lang/rust;

· by fmease was closed on Jul 20, 2025

ICE: TAIT and incremental compilation

A-impl-traitArea: `impl Trait`. Universally / existentially quantified anonymous types with static dispatch. Area: `impl Trait`. Universally / existentially quantified anonymous types with static dispatch.

A-incr-compArea: Incremental compilation Area: Incremental compilation

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) ❄️

S-needs-reproStatus: This issue has no reproduction and needs a reproduction to make progress. Status: This issue has no reproduction and needs a reproduction to make progress.

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: Closed (completed).

#138948 In rust-lang/rust;

· by Ddystopia was closed on Mar 26, 2025

RPITITs may imply unsound outlives for late-bound args in signature

A-impl-traitArea: `impl Trait`. Universally / existentially quantified anonymous types with static dispatch. Area: `impl Trait`. Universally / existentially quantified anonymous types with static dispatch.

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

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

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

P-highHigh priority High 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: Closed (completed).

#133427 In rust-lang/rust;

· by compiler-errors was closed on Nov 28, 2024

TAIT: closure and RPIT causes "concrete type differs from previous defining opaque type use"

A-impl-traitArea: `impl Trait`. Universally / existentially quantified anonymous types with static dispatch. Area: `impl Trait`. Universally / existentially quantified anonymous types with static dispatch.

A-trait-systemArea: Trait system Area: Trait system

E-needs-testCall for participation: An issue has been fixed and does not reproduce, but no test has been added. Call for participation: An issue has been fixed and does not reproduce, but no test has been added.

F-type_alias_impl_trait`#[feature(type_alias_impl_trait)]` `#[feature(type_alias_impl_trait)]`

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: Closed (completed).

#122775 In rust-lang/rust;

· by Dirbaio was closed on May 12, 2024

uncaptured lifetimes required to live as long as the opaque type

A-impl-traitArea: `impl Trait`. Universally / existentially quantified anonymous types with static dispatch. Area: `impl Trait`. Universally / existentially quantified anonymous types with static dispatch.

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

P-mediumMedium priority Medium priority

regression-from-stable-to-stablePerformance or correctness regression from one stable version to another. Performance or correctness regression from one stable version to another.

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: Closed (completed).

#116794 In rust-lang/rust;

· by aliemjay was closed on Oct 29, 2023

Two conflicting concrete types for the same opaque type

A-impl-traitArea: `impl Trait`. Universally / existentially quantified anonymous types with static dispatch. Area: `impl Trait`. Universally / existentially quantified anonymous types with static dispatch.

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

P-criticalCritical priority Critical priority

regression-from-stable-to-nightlyPerformance or correctness regression from stable to nightly. Performance or correctness regression from stable to nightly.

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: Closed (completed).

#114597 In rust-lang/rust;

· by Nashenas88 was closed on Aug 8, 2023

ICE on recursive fn which returns impl T

A-impl-traitArea: `impl Trait`. Universally / existentially quantified anonymous types with static dispatch. Area: `impl Trait`. Universally / existentially quantified anonymous types with static dispatch.

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) ❄️

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.

Status: Closed (completed).

#103599 In rust-lang/rust;

· by jruderman was closed on Oct 27, 2022

ICE: index out of bounds: the len is 323 but the index is 324, ena-0.14.0/src/snapshot_vec.rs:199:10

A-impl-traitArea: `impl Trait`. Universally / existentially quantified anonymous types with static dispatch. Area: `impl Trait`. Universally / existentially quantified anonymous types with static dispatch.

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

glacierICE tracked in rust-lang/glacier. ICE tracked in rust-lang/glacier.

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

P-mediumMedium priority Medium priority

regression-from-stable-to-nightlyPerformance or correctness regression from stable to nightly. Performance or correctness regression from stable to nightly.

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: Closed (completed).

#99914 In rust-lang/rust;

· by jyn514 was closed on Aug 30, 2022