Repository navigation

Some initial normalization method changes - #104905

Merged

bors merged 6 commits into

rust-lang:masterfrom

compiler-errors:normalization-changes

Nov 30, 2022

Commits on Nov 28, 2022

Rename At::normalize to At::query_normalize
compiler-errors
committed
f12e772
partially_normalize_... -> At::normalize
compiler-errors
committed
fc71083
FnCtxt normalization stuff
compiler-errors
committed
52cd342
Simplify more FnCtxt normalization
compiler-errors
committed
0678622
Make normalize and normalize_to pub(crate)
compiler-errors
committed
ce409b5
Make ObligationCtxt::normalize take cause by borrow
compiler-errors
committed
1e236ac