Search results

Conflicting implementations with <code>fn_traits</code> and <code>From</code>

A-trait-systemArea: Trait systemArea: Trait system

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

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

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.

#142037 In rust-lang/rust;

· Nobody-alias-N opened on Jun 4, 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

Type equality bounds disable implied projection outlives bounds

A-implied-boundsArea: Implied bounds / inferred outlives-boundsArea: Implied bounds / inferred outlives-bounds

A-lifetimesArea: Lifetimes / regionsArea: Lifetimes / regions

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.

#141054 In rust-lang/rust;

· QuineDot opened on May 15, 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

Duplicate doubly higher-ranked trait bound fails to compile

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.

#140071 In rust-lang/rust;

· Veykril opened on Apr 20, 2025

rustdoc hangs on recursive associated types

A-auto-traitsArea: auto traits (e.g., `auto trait Send {}`)Area: auto traits (e.g., `auto trait Send {}`)

A-synthetic-implsArea: Synthetic impls, used by rustdoc to document auto traits and traits with blanket implsArea: Synthetic impls, used by rustdoc to document auto traits and traits with blanket impls

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

#139964 In rust-lang/rust;

· theemathas opened on Apr 17, 2025

resolution ambiguity between inherent and (prelude-provided) trait methods should have more guard rails

A-method-lookupArea: method lookup (typeck, post `rustc_resolve`, not to be confused with `A-resolve`)Area: method lookup (typeck, post `rustc_resolve`, not to be confused with `A-resolve`)

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

#139732 In rust-lang/rust;

· pnkfelix opened on Apr 13, 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 system limitations with double-diamond trait dependencies with bounded associated types

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

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.

#139486 In rust-lang/rust;

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

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

Misleading compiler suggestion: Swapp the equality in rustlib due to mismatched types in user code

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

A-trait-systemArea: Trait systemArea: Trait system

D-invalid-suggestionDiagnostics: A structured suggestion resulting in incorrect code.Diagnostics: A structured suggestion resulting in incorrect code.

E-needs-bisectionCall for participation: This issue needs bisection: https://github.com/rust-lang/cargo-bisect-rustcCall for participation: This issue needs bisection: https://github.com/rust-lang/cargo-bisect-rustc

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.

#139050 In rust-lang/rust;

· jjl9807 opened on Mar 28, 2025