search

rust-lang / a-mir-formality

a model of MIR and the Rust type/trait system
Apache License 2.0
282 stars 33 forks source link

(Mostly) add AliasEq and start porting chalk projection tests #145

Closed jackh726 closed 11 months ago

jackh726 commented 12 months ago

A decent start :)