Skip to content

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

Merged
bors merged 2 commits into
rust-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 into
rust-lang:masterfrom
BoxyUwU:root_normalizes_to_goal_ice

Rename `structurally_normalize` to `structurally_normalize_ty`

b99f59b
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs