Search results

IATs: Decide if we want to hard-error on inherent projections if the path in question may just as well refer to an enum variant

A-type-systemArea: Type systemArea: Type system

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

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

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.

#142023 In rust-lang/rust;

· fmease opened on Jun 4, 2025

Blanket impl of super trait with method returning associated type: "incompatible type for trait"

A-type-systemArea: Type systemArea: Type system

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

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.

#141807 In rust-lang/rust;

· TimNN opened on May 31, 2025

TAIT: <code>item does not constrain</code> after diverging expression

A-type-systemArea: Type systemArea: Type system

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

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.

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.

#141779 In rust-lang/rust;

· narpfel opened on May 30, 2025

Adding where clause already filled relax traits bounds in impl

A-type-systemArea: Type systemArea: Type 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.

#141721 In rust-lang/rust;

· supersurviveur opened on May 29, 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

Adding <code>use std::error::Error</code> unexpectedly breaks lifetime inference

A-lifetimesArea: Lifetimes / regionsArea: Lifetimes / regions

A-type-systemArea: Type systemArea: Type system

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

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.

#141673 In rust-lang/rust;

· phip1611 opened on May 28, 2025

Trait unexpectedly not implemented with recursive where clause, with poor error message

A-type-systemArea: Type systemArea: Type 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.

#141111 In rust-lang/rust;

· emilio opened on May 17, 2025

relaxed <code>?Sized</code> bound getting implied by super trait warn

A-lintsArea: Lints (warnings about flaws in source code) such as unused_mut.Area: Lints (warnings about flaws in source code) such as unused_mut.

A-type-systemArea: Type systemArea: Type system

C-feature-requestCategory: A feature request, i.e: not implemented / a PR.Category: A feature request, i.e: not implemented / a PR.

E-mediumCall for participation: Medium difficulty. Experience needed to fix: Intermediate.Call for participation: Medium difficulty. Experience needed to fix: Intermediate.

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.

#140962 In rust-lang/rust;

· lcnr opened on May 13, 2025

<code>unconstrained type parameter</code> with associated types that are actually constrained

A-type-systemArea: Type systemArea: Type 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.

#140201 In rust-lang/rust;

· BennoLossin opened on Apr 23, 2025

<code>cargo check</code> works fine, but <code>cargo build</code> gives "overflow evaluating the requirement "

A-type-systemArea: Type systemArea: Type 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.

#139658 In rust-lang/rust;

· theemathas opened on Apr 11, 2025

GAT: Fails to compile with additional bounds

A-lifetimesArea: Lifetimes / regionsArea: Lifetimes / regions

A-trait-systemArea: Trait systemArea: Trait system

A-type-systemArea: Type systemArea: Type 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.

#139207 In rust-lang/rust;

· Ddystopia opened on Apr 1, 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