Search results

Inference hazard due to lazy alias relate: Break it in the old solver?

A-incompleteincorrectly return `NoSolution`, unsound during coherenceincorrectly return `NoSolution`, unsound during coherence

S-breaking-change

Status: Open.

#168 In rust-lang/trait-system-refactor-initiative;

· compiler-errors opened on Mar 21, 2025

Overflow in mir_borrowck when normalizing region-outlives obligations

S-breaking-change

Status: Open.

#99 In rust-lang/trait-system-refactor-initiative;

· compiler-errors opened on Mar 12, 2024

<code>AliasRelate</code> hides info in transitive cases

A-normalization

S-breaking-change

S-concern

Status: Open.

#7 In rust-lang/trait-system-refactor-initiative;

· lcnr opened on Apr 17, 2023

Ambiguity for projection candidates that aren't equal, but *are* equal modulo normalization

A-normalization

S-breaking-change

Status: Open.

#4 In rust-lang/trait-system-refactor-initiative;

· compiler-errors opened on Apr 13, 2023