Search results

Circularly defined GAT is somehow allowed and ICEs Miri

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)

A-mir-optArea: MIR optimizationsArea: MIR optimizations

A-miriArea: The miri toolArea: The miri tool

A-trait-systemArea: Trait systemArea: Trait system

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

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.

#149898 In rust-lang/rust;

· theemathas opened on Dec 12, 2025

Trait *definition* is rejected if assoc type has bound with an implied predicate on itself

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

A-trait-systemArea: Trait systemArea: Trait system

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

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

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.

#149677 In rust-lang/rust;

· danielhenrymantilla opened on Dec 5, 2025

Maybe-sized RPIT type is unexpectedly allowed in <code>async fn</code>

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

A-async-awaitArea: Async & AwaitArea: Async & Await

A-DSTsArea: Dynamically-sized types (DSTs)Area: Dynamically-sized types (DSTs)

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 systemArea: Trait system

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.

#149438 In rust-lang/rust;

· obi1kenobi opened on Nov 29, 2025

Compiler error when using a const generic alias in an associated type bound in a super trait

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

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

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.

#149420 In rust-lang/rust;

· LukaHorvat opened on Nov 28, 2025

Delayed bug on uhh nested associated types with implied traits?

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

A-trait-systemArea: Trait systemArea: Trait system

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

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.

#149120 In rust-lang/rust;

· purplesyringa opened on Nov 20, 2025

Coherence rejects otherwise valid impl

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

A-coherenceArea: CoherenceArea: Coherence

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.

#147554 In rust-lang/rust;

· weiznich opened on Oct 10, 2025

SignatureMismatch ICE

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

A-mir-optArea: MIR optimizationsArea: MIR optimizations

A-mir-opt-inliningArea: MIR inliningArea: MIR inlining

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

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

P-highHigh priorityHigh 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.

S-has-mcveStatus: A Minimal Complete and Verifiable Example has been found for this issueStatus: A Minimal Complete and Verifiable Example has been found for this issue

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.

#146965 In rust-lang/rust;

· benruijl opened on Sep 24, 2025

"conflicting associated type bounds when expanding trait alias", but there is no actual conflict

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

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

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

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

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.

#146548 In rust-lang/rust;

· Jules-Bertholet opened on Sep 14, 2025

"unexpected ambiguity: <code>CanonicalQueryInput</code>" with conflicting associated type specifiers

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

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-impossible-boundsArea: Issues related to have impossible trait bounds in scope (impossible predicates)Area: Issues related to have impossible trait bounds in scope (impossible predicates)

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

P-mediumMedium priorityMedium 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.

S-has-bisectionStatus: A bisection has been found for this issueStatus: A bisection has been found for this issue

S-has-mcveStatus: A Minimal Complete and Verifiable Example has been found for this issueStatus: A Minimal Complete and Verifiable Example has been found for this issue

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.

#146371 In rust-lang/rust;

· Jules-Bertholet opened on Sep 9, 2025

"type annotations needed" on associated type with type parameter, even when said parameter is already known

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

A-inferenceArea: Type inferenceArea: Type inference

A-trait-systemArea: Trait systemArea: Trait system

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.

Status: Open.

#145609 In rust-lang/rust;

· AhoyISki opened on Aug 19, 2025

Inaccurate diagnostic when using associated type as a value

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

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

D-incorrectDiagnostics: A diagnostic that is giving misleading or incorrect information.Diagnostics: A diagnostic that is giving misleading or incorrect information.

D-papercutDiagnostics: An error or lint that needs small tweaks.Diagnostics: An error or lint that needs small tweaks.

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

#142797 In rust-lang/rust;

· tjhance opened on Jun 20, 2025

Incoherent (?) Lifetime HRTB on associated type results in unsoundness in stable, safe code

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

A-closuresArea: Closures (`|…| { … }`)Area: Closures (`|…| { … }`)

A-type-systemArea: Type systemArea: Type system

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/SoundnessIssue: A soundness hole (worst kind of bug), see: https://en.wikipedia.org/wiki/Soundness

P-highHigh priorityHigh 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: Open.

#141713 In rust-lang/rust;

· maxdexh opened on May 29, 2025