Rollup of 5 pull requests#71717

Merged

bors merged 14 commits intorust-lang:masterfrom

Dylan-DPC-zz:rollup-av5vjor

Apr 30, 2020

Commits on Apr 16, 2020

Commits on Apr 21, 2020

Commits on Apr 22, 2020

Add help message for missing right operand in condition
antoyo
committed
Move `{Free,}RegionRelations` and `FreeRegionMap` out of `rustc_middle`
ecstatic-morse
committed

Commits on Apr 25, 2020

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

Commits on Apr 30, 2020

rename-unique: Rename Unique::empty() to Unique::dangling()
CohenArthur
committed
Rollup merge of #70950 - nikomatsakis:leak-check-nll-2, r=matthewjasper
Dylan-DPC
authored
Rollup merge of #71433 - antoyo:error/missing-right-operand, r=Dylan-DPC
Dylan-DPC
authored
Rollup merge of #71449 - ecstatic-morse:free-region-cleanup, r=Mark-Simulacrum
Dylan-DPC
authored
Rollup merge of #71559 - dillona:detect_git_progress_version, r=Mark-Simulacrum
Dylan-DPC
authored
Rollup merge of #71597 - CohenArthur:refactor-unique-empty, r=shepmaster
Dylan-DPC
authored