Search results

rustdoc incorrectly prints APIT in <code>AliasTy::new</code>

A-cross-crate-reexportsArea: Documentation that has been re-exported from a different crateArea: Documentation that has been re-exported from a different crate

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

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

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

#138604 In rust-lang/rust;

· lcnr opened on Mar 17, 2025

Associated Type Bounds on Trait Bounds on GAT produce error

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.

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

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.

#136144 In rust-lang/rust;

· T0mstone opened on Jan 27, 2025

Rust can't figure out that two types are the same with supertraits and associated types.

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.

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

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.

#135979 In rust-lang/rust;

· theemathas opened on Jan 24, 2025

Maybe-bounds in associated type bounds don't get rejected

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

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

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.

#135229 In rust-lang/rust;

· fmease opened on Jan 8, 2025

Docs produce invalid type when using bounds in associated type position

A-cross-crate-reexportsArea: Documentation that has been re-exported from a different crateArea: Documentation that has been re-exported from a different crate

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

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

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.

#126432 In rust-lang/rust;

· tguichaoua opened on Jun 13, 2024

False compile error on associated type bounds

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

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

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.

#125845 In rust-lang/rust;

· taiheioki opened on Jun 1, 2024

false positive when <code>associated_type_bounds</code> used with <code>for&lt;&gt;</code> on super traits

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

A-trait-systemArea: Trait systemArea: Trait system

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

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

fixed-by-next-solverFixed by the next-generation trait solver, `-Znext-solver`.Fixed by the next-generation trait solver, `-Znext-solver`.

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.

#121929 In rust-lang/rust;

· fee1-dead opened on Mar 3, 2024

Invalid trait bounds and equality constraints should suggest appropriate code

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

A-suggestion-diagnosticsArea: Suggestions generated by the compiler applied by `cargo fix`Area: Suggestions generated by the compiler applied by `cargo fix`

A-trait-systemArea: Trait systemArea: Trait system

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

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

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.

#85307 In rust-lang/rust;

· estebank opened on May 14, 2021

Cycle detected when using associated type bounds in super trait

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

A-trait-systemArea: Trait systemArea: Trait system

D-confusingDiagnostics: Confusing error or lint that should be reworked.Diagnostics: Confusing error or lint that should be reworked.

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.

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

I-cycleIssue: A query cycle occurred while none was expectedIssue: A query cycle occurred while none was expected

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.

#65913 In rust-lang/rust;

· tage64 opened on Oct 28, 2019