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

Merged

nikomatsakis merged 2 commits intorust-lang:mainfrom jackh726:alias-eq-predicate

Oct 14, 2023

+428-60

Commits on Oct 13, 2023

Add AliasEq and start porting chalk projection tests
jackh726
committed

Commits on Oct 14, 2023

Update crates/formality-prove/src/prove/prove_wf.rs
nikomatsakis
authored