Rollup of 5 pull requests - #71717

Merged

bors merged 14 commits into

rust-lang:masterfrom

Dylan-DPC-zz:rollup-av5vjor

Apr 30, 2020

Commits on Apr 16, 2020

enforce that R1: R2 requires univ(R1) <= univ(R2)
nikomatsakis
committed
771fdd9
reserve variable for empty root region
nikomatsakis
committed
b8caef4
compute SCCs in dependency order
nikomatsakis
committed
0749721

Commits on Apr 21, 2020

update ref test
nikomatsakis
committed
c7526fe
sccs are computed in dependency order
nikomatsakis
committed
cb9458d

Commits on Apr 22, 2020

Commits on Apr 25, 2020

Detect git version before attempting to use --progress
dillona
committed
7ac093f

Commits on Apr 30, 2020