Search results

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

Tracking issue for future-incompatibility lint <code>uncovered_param_in_projection</code>

A-coherenceArea: CoherenceArea: Coherence

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

C-future-incompatibilityCategory: Future-incompatibility lintsCategory: Future-incompatibility lints

C-tracking-issueCategory: An issue tracking the progress of sth. like the implementation of an RFCCategory: An issue tracking the progress of sth. like the implementation of an RFC

L-uncovered_param_in_projectionLint: uncovered_param_in_projectionLint: uncovered_param_in_projection

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.

#124559 In rust-lang/rust;

· fmease opened on Apr 30, 2024

Conflicting implementation should not exist after generic trait paramters have been constrained to associated types

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-discussionCategory: Discussion or questions that doesn't represent real issues.Category: Discussion or questions that doesn't represent real issues.

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.

#123450 In rust-lang/rust;

· ZhennanWu opened on Apr 4, 2024

coherence errors: inspect analyse visitor causes hangs

A-coherenceArea: CoherenceArea: Coherence

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

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.

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.

#136243 In rust-lang/rust;

· lcnr opened on Feb 22, 2024