Search results

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

Coherence with object types with overlapping supertrait projections is incomplete

A-coherenceArea: Coherence Area: Coherence

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

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

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

#133361 In rust-lang/rust;

· by compiler-errors was closed on Feb 22, 2025

<code>safe</code> keyword is not feature-gated

P-highHigh priority High 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.

Status: Closed (completed).

#126755 In rust-lang/rust;

· by compiler-errors was closed on Jul 5, 2024

Associated types in object-safe method signatures don't always come from supertraits

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

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

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

#126079 In rust-lang/rust;

· by compiler-errors was closed on Jul 26, 2024