Skip to content

Fall back to bidirectional normalizes-to if no subst-relate candidate in alias-relate goal#112076

Merged
bors merged 2 commits intorust-lang:masterfrom
compiler-errors:bidirectional-alias-eq
Jun 7, 2023
Merged

Fall back to bidirectional normalizes-to if no subst-relate candidate in alias-relate goal#112076
bors merged 2 commits intorust-lang:masterfrom
compiler-errors:bidirectional-alias-eq

Commits