Skip to content

Use structurally_normalize instead of manual normalizes-to goals in alias relate errors#135816

Merged
bors merged 2 commits intorust-lang:masterfrom
BoxyUwU:root_normalizes_to_goal_ice
Jan 22, 2025