Use the new trait solver in all the places

rust-lang / types-team

Home of the "types team", affiliated with the compiler and lang teams.

https://rust-lang.github.io/types-team/

Apache License 2.0

94 stars 19 forks source link

Open nikomatsakis opened 11 months ago

lcnr commented 9 months ago

update: currently focussing on stabilizing -Ztrait-solver=next-coherence first