Search results

ICE:invalid predicate filter for <code>remap_gat_vars_and_recurse_into_nested_projections</code>

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

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.

#141694 In rust-lang/rust;

· sososopy opened on May 28, 2025

We don't imply outlives-bounds from the own explicit bounds of a GAT projection

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-implied-boundsArea: Implied bounds / inferred outlives-boundsArea: Implied bounds / inferred outlives-bounds

A-lifetimesArea: Lifetimes / regionsArea: Lifetimes / regions

C-discussionCategory: Discussion or questions that doesn't represent real issues.Category: Discussion or questions that doesn't represent real issues.

P-lowLow priorityLow 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.

#141692 In rust-lang/rust;

· fmease opened on May 28, 2025

endless loop instead of an overflow error, in the presence of multiple requirements that would overflow.

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

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-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-hangIssue: The compiler never terminates, due to infinite loops, deadlock, livelock, etc.Issue: The compiler never terminates, due to infinite loops, deadlock, livelock, etc.

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.

#140946 In rust-lang/rust;

· moshevds opened on May 12, 2025

ICE - Mixing Async &amp; GAT traits (invalid code)

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

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-bug-has-testStatus: This bug is tracked inside the repo by a `known-bug` test.Status: This bug is tracked inside the repo by a `known-bug` test.

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.

#140381 In rust-lang/rust;

· AldaronLau opened on Apr 28, 2025

compiler trait solver gets stuck (infinite loop or tail recursion?), related to GAT and associated type equality constraint

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

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-hangIssue: The compiler never terminates, due to infinite loops, deadlock, livelock, etc.Issue: The compiler never terminates, due to infinite loops, deadlock, livelock, etc.

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.

#134370 In rust-lang/rust;

· nerditation opened on Dec 16, 2024

<code>compare_method_predicate_entailment</code> is missing implied bounds from higher-ranked GAT

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

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

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.

#133805 In rust-lang/rust;

· compiler-errors opened on Dec 3, 2024

Variance not computed for concrete GAT references in struct fields

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

A-varianceArea: Variance (https://doc.rust-lang.org/nomicon/subtyping.html)Area: Variance (https://doc.rust-lang.org/nomicon/subtyping.html)

C-discussionCategory: Discussion or questions that doesn't represent real issues.Category: Discussion or questions that doesn't represent real issues.

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.

#132198 In rust-lang/rust;

· branchseer opened on Oct 26, 2024

Broken MIR in DefId (TerminatorKind::Call with GATs)

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

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

S-bug-has-testStatus: This bug is tracked inside the repo by a `known-bug` test.Status: This bug is tracked inside the repo by a `known-bug` test.

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.

#131373 In rust-lang/rust;

· racharron opened on Oct 7, 2024

ICE: "error performing operation: fully_perform" on type inference for trait object with HRTB over GAT

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

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

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-lifetimesArea: Lifetimes / regionsArea: Lifetimes / regions

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

S-bug-has-testStatus: This bug is tracked inside the repo by a `known-bug` test.Status: This bug is tracked inside the repo by a `known-bug` test.

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.

#130797 In rust-lang/rust;

· arvidfm opened on Sep 24, 2024

error[E0275]: overflow evaluating the requirement <code>&lt;RefTFamily&lt;T&gt; as LifetimizedOutputFamily&gt;::Output&lt;'a&gt; == _</code>

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

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.

#130728 In rust-lang/rust;

· JohnScience opened on Sep 23, 2024

Compiler freezes on trait with generic associated type

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-lifetimesArea: Lifetimes / regionsArea: Lifetimes / regions

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-hangIssue: The compiler never terminates, due to infinite loops, deadlock, livelock, etc.Issue: The compiler never terminates, due to infinite loops, deadlock, livelock, etc.

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.

#130640 In rust-lang/rust;

· antonilol opened on Sep 20, 2024

ICE: broken MIR: NoSolution on HRTB over GAT in trait object

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

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

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-lifetimesArea: Lifetimes / regionsArea: Lifetimes / regions

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

S-bug-has-testStatus: This bug is tracked inside the repo by a `known-bug` test.Status: This bug is tracked inside the repo by a `known-bug` test.

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.

#130524 In rust-lang/rust;

· arvidfm opened on Sep 18, 2024