prefer universal region from lower universe in region unification table - #108899

Closed

aliemjay wants to merge 7 commits into

rust-lang:masterfrom

aliemjay:prefer-lower

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
d9dec12