Search results

Unsound associated type outlives bound due to lazy norm

not-blocking-coherenceAn issue we can resolve after stabilizing the new solver during coherenceAn issue we can resolve after stabilizing the new solver during coherence

Status: Open.

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

· compiler-errors opened on Aug 14, 2023

hir typeck decision making now checks whether nested <code>eq</code>/<code>sub</code> obligations hold

not-blocking-coherenceAn issue we can resolve after stabilizing the new solver during coherenceAn issue we can resolve after stabilizing the new solver during coherence

Status: Open.

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

· lcnr opened on May 29, 2023

should looking up the defined opaque types be structural or semantic

not-blocking-coherenceAn issue we can resolve after stabilizing the new solver during coherenceAn issue we can resolve after stabilizing the new solver during coherence

Status: Open.

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

· lcnr opened on May 24, 2023

structurally resolve how does it work

not-blocking-coherenceAn issue we can resolve after stabilizing the new solver during coherenceAn issue we can resolve after stabilizing the new solver during coherence

Status: Open.

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

· lcnr opened on May 19, 2023