Repository navigation

Prefer regions with an `external_name` in `approx_universal_upper_bound` - #78164

Merged

bors merged 1 commit into

rust-lang:masterfrom

Aaron1011:fix/async-region-name

Dec 18, 2020

Commits on Dec 17, 2020

Prefer regions with an `external_name` in `approx_universal_upper_bound`
Aaron1011
committed
419d3ae