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
Merged

Use `structurally_normalize` instead of manual `normalizes-to` goals in alias relate errors#135816
bors merged 2 commits intorust-lang:masterfrom
BoxyUwU:root_normalizes_to_goal_ice

Commits