Search results

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

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

ICE: <code>overflow evaluating the requirement</code> / <code>impl was matchable against binder but now it is not</code>

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

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

#141124 In rust-lang/rust;

· matthiaskrgr opened on May 17, 2025

Associated Type Equality Bounds are not properly resolved

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.

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.

#139682 In rust-lang/rust;

· Jeff-A-Martin opened on Apr 11, 2025

Type mismatch in a associated type bound don't point at said associated type

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-imprecise-spansDiagnostics: spans don't point to exactly the erroneous codeDiagnostics: spans don't point to exactly the erroneous 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.

Status: Open.

#139531 In rust-lang/rust;

· ShE3py opened on Apr 8, 2025

rustdoc thinks Deref extends to functions that use <code>Pin&lt;&amp;mut Self&gt;</code>

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

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

T-rustdocRelevant to the rustdoc team, which will review and decide on the PR/issue.Relevant to the rustdoc team, which will review and decide on the PR/issue.

Status: Open.

#139458 In rust-lang/rust;

· jnbooth opened on Apr 6, 2025

Bug when implementing From on an associated type defined in an external crate

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

A-coherenceArea: CoherenceArea: Coherence

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.

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.

#138816 In rust-lang/rust;

· roeeshoshani opened on Mar 22, 2025

error performing operation: fully_perform in ascribe_user_type

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

A-type-systemArea: Type systemArea: Type 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) ❄️

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.

#138707 In rust-lang/rust;

· VincentVanlaer opened on Mar 19, 2025

"the trait bound is not satisfied" when using traits from associated type

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.

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.

#138119 In rust-lang/rust;

· eduardosm opened on Mar 6, 2025

Incorrect trait bound handling for <code>IntoIterator&lt;IntoIter = I, Item = T&gt;</code>

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.

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.

#137185 In rust-lang/rust;

· DJDuque opened on Feb 17, 2025

super trait bounds can result in unconstrained regions

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

C-enhancementCategory: An issue proposing an enhancement or a PR with one.Category: An issue proposing an enhancement or a PR with one.

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.

#136547 In rust-lang/rust;

· lcnr opened on Feb 4, 2025