Rollup of 9 pull requests#66917

Merged

bors merged 29 commits intorust-lang:masterfrom

Centril:rollup-xj2enik

Dec 1, 2019

Commits on Nov 17, 2019

print a more useful error message on should_panic mismatch
Thomas Etter
committed
replace some asserts with assert_eq for better error readability
Thomas Etter
committed

Commits on Nov 19, 2019

Simplify if else as suggested in PR feedback
Thomas Etter
committed

Commits on Nov 22, 2019

Commits on Nov 23, 2019

enable more panic-catching tests in Miri
RalfJung
committed

Commits on Nov 26, 2019

Commits on Nov 28, 2019

const_prop: detect and avoid catching Miri errors that require allocation
RalfJung
committed

Commits on Dec 1, 2019