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

not normalizing tait parameters before checking if it's a defining usage

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

A-normalization

Status: Open.

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

· compiler-errors opened on Jul 23, 2023

old solver incompletely prefers projection and object candidates

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

Status: Open.

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

· lcnr opened on May 31, 2023

generalization is incomplete for aliases

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

A-normalization

S-unsound

Status: Open.

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

· lcnr opened on Apr 17, 2023