Miri: unleash all feature gates - #71631

Merged

bors merged 10 commits into

rust-lang:masterfrom

RalfJung:miri-unleash-the-gates

May 4, 2020

Commits on Apr 30, 2020

unleashed Miri: open all the gates
RalfJung
committed
e2c99f0
remove no longer needed feature flags
RalfJung
committed
9273962
deduplicate warnings
RalfJung
committed
c7eb916

Commits on May 2, 2020

make sure the miri-unleash-flag is not used to circumvent feature gates
RalfJung
committed
08ba014
explain why we use def_span
RalfJung
committed
17ca7a0
fix miri-unleash delayed sanity checking
RalfJung
committed
89666ab

Commits on May 3, 2020

warn about each skipped feature gate
RalfJung
committed
99debec
fmt
RalfJung
committed
f7f606d
remove unneeded flags; exlain why we still have const_if_match
RalfJung
committed
a909c03
bless caller-location test
RalfJung
committed
182133f