always resolve to universal regions if possible - #108121

Merged

bors merged 7 commits into

rust-lang:masterfrom

aliemjay:resolve-var-region

Mar 8, 2023

Commits on Mar 5, 2023

resolve to universal regions when possible
aliemjay
committed
f3dfa52
s/unification_table/unification_table_mut
aliemjay
committed
79dca7b
oops! new unsoundness
aliemjay
committed
eea5604
fix the new unsoundness
aliemjay
committed
bfd3501
bless rustdoc tests
aliemjay
committed
095b5fa

Commits on Mar 8, 2023

address review comment
aliemjay
committed
228f408
prefer universal from lower universe
aliemjay
committed
0b232d0