Search results

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

Const generics do not accept exhaustive trait impls

A-coherenceArea: CoherenceArea: Coherence

A-const-genericsArea: const generics (parameters and arguments)Area: const generics (parameters and arguments)

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.

#146962 In rust-lang/rust;

· clarfonthey opened on Sep 24, 2025

Error says std might implement Send for types which are defined as !Send

A-coherenceArea: CoherenceArea: Coherence

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

D-newcomer-roadblockDiagnostics: Confusing error or lint; hard to understand for new users.Diagnostics: Confusing error or lint; hard to understand for new users.

D-terseDiagnostics: An error or lint that doesn't give enough information about the problem at hand.Diagnostics: An error or lint that doesn't give enough information about the problem at hand.

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.

#146427 In rust-lang/rust;

· RReverser opened on Sep 10, 2025

impl block on a type defined with type_alias_impl_trait can conflict with other unrelated impl

A-coherenceArea: CoherenceArea: Coherence

A-hygieneArea: Macro hygieneArea: Macro hygiene

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.

#139583 In rust-lang/rust;

· douglas-raillard-arm opened on Apr 9, 2025

Compiler hangs during execution

A-coherenceArea: CoherenceArea: Coherence

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.

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.

#139197 In rust-lang/rust;

· jjl9807 opened on Apr 1, 2025

Slow coherence checking and type checking.

A-coherenceArea: CoherenceArea: Coherence

A-trait-systemArea: Trait systemArea: Trait system

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

I-compiletimeIssue: Problems and improvements with respect to compile times.Issue: Problems and improvements with respect to compile times.

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.

#138828 In rust-lang/rust;

· coolcatcoder opened on Mar 22, 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

experiment with relaxing the orphan rule

A-coherenceArea: CoherenceArea: Coherence

A-rust-for-linuxRelevant for the Rust-for-Linux projectRelevant for the Rust-for-Linux project

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

I-lang-radarItems that are on lang's radar and will need eventual work or consideration.Items that are on lang's radar and will need eventual work or consideration.

I-types-nominatedNominated for discussion during a types team meeting.Nominated for discussion during a types team meeting.

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-langRelevant to the language teamRelevant to the language team

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.

#136979 In rust-lang/rust;

· BennoLossin opened on Feb 13, 2025

ICE during orphanck with the next solver involving opaque type "covered" by a fundamental type

A-coherenceArea: CoherenceArea: Coherence

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

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

F-type_alias_impl_trait`#[feature(type_alias_impl_trait)]``#[feature(type_alias_impl_trait)]`

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.

WG-trait-system-refactorThe Rustc Trait System Refactor Initiative (-Znext-solver)The Rustc Trait System Refactor Initiative (-Znext-solver)

Status: Open.

#136188 In rust-lang/rust;

· fmease opened on Jan 28, 2025

TAIT coherence checks don't ensure composability of crates

A-coherenceArea: CoherenceArea: Coherence

A-trait-systemArea: Trait systemArea: Trait system

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

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

F-type_alias_impl_trait`#[feature(type_alias_impl_trait)]``#[feature(type_alias_impl_trait)]`

requires-nightlyThis issue requires a nightly compiler in some way.This issue requires a nightly compiler in some way.

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.

#130978 In rust-lang/rust;

· steffahn opened on Sep 28, 2024

"downstream crates may implement trait for type" for both trait and type private to this crate

A-coherenceArea: CoherenceArea: Coherence

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

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

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.

#130839 In rust-lang/rust;

· tisonkun opened on Sep 25, 2024

E0210: clarify "at least one type"

A-coherenceArea: CoherenceArea: Coherence

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.

#128814 In rust-lang/rust;

· Natureshadow opened on Aug 8, 2024