Use structurally_normalize
instead of manual normalizes-to
goals in alias relate errors#135816
Merged
bors merged 2 commits intorust-lang:masterfrom Jan 22, 2025