Treat normalizing consts like normalizing types in deeply normalize#142126

Merged

bors merged 2 commits intorust-lang:masterfrom

compiler-errors:normalize-uv-via-relate

Jun 8, 2025

Commits on Jun 6, 2025

Treat normalizing consts like normalizing types in deeply normalize
compiler-errors
committed

Commits on Jun 7, 2025

Unify normalization of terms in deeply normalize
compiler-errors
committed