Don't emit alias-relate goal if projections are structurally equal after resolving vars#109617

Closed

compiler-errors wants to merge 2 commits intorust-lang:masterfrom

compiler-errors:dont-alias-eq-if-types-r-equal

Commits on Mar 25, 2023

Drive-by tweaks to debug outputs
compiler-errors
committed
Don't emit alias-eq goal if projections are structurally equal after resolving vars
compiler-errors
committed