New solver in coherence

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

95 stars 19 forks source link

Open nikomatsakis opened 1 year ago

lcnr commented 10 months ago

update: see https://lcnr.de/update/2023-12-01, main blocker is non-fatal overflow handling in the new solver