Skip to content

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
Closed

prefer universal region from lower universe in region unification table#108899
aliemjay wants to merge 7 commits into
rust-lang:masterfrom
aliemjay:prefer-lower

prefer universal from lower universe

d9dec12
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs