search

rust-lang / chalk

An implementation and definition of the Rust trait system using a PROLOG-like logic solver
https://rust-lang.github.io/chalk/book/
Other
1.84k stars 182 forks source link

Remove `Ord` from `chalk_ir::interner::DefId` #739

Closed pierwill closed 2 years ago

pierwill commented 2 years ago

See https://github.com/rust-lang/rust/issues/90317 and https://github.com/rust-lang/rust/pull/90749.

pierwill commented 2 years ago

Closing in favor of https://github.com/rust-lang/chalk/pull/740.