Code

Miri: unleash all feature gates#71631

Code

Merged

bors merged 10 commits intorust-lang:masterrust-lang/rust:masterfrom RalfJung:miri-unleash-the-gatesRalfJung/rust:miri-unleash-the-gatesCopy head branch name to clipboardMay 4, 2020

+385-229

Commits

Commits on Apr 30, 2020

• unleashed Miri: open all the gates

  RalfJung

  committed
  e2c99f0

  Copy full SHA for e2c99f0

• remove no longer needed feature flags

  RalfJung

  committed
  9273962

  Copy full SHA for 9273962

• deduplicate warnings

  RalfJung

  committed
  c7eb916

  Copy full SHA for c7eb916

Commits on May 2, 2020

• make sure the miri-unleash-flag is not used to circumvent feature gates

  RalfJung

  committed
  08ba014

  Copy full SHA for 08ba014

• explain why we use def_span

  RalfJung

  committed
  17ca7a0

  Copy full SHA for 17ca7a0

• fix miri-unleash delayed sanity checking

  RalfJung

  committed
  89666ab

  Copy full SHA for 89666ab

Commits on May 3, 2020

• warn about each skipped feature gate

  RalfJung

  committed
  99debec

  Copy full SHA for 99debec

• fmt

  RalfJung

  committed
  f7f606d

  Copy full SHA for f7f606d

• remove unneeded flags; exlain why we still have const_if_match

  RalfJung

  committed
  a909c03

  Copy full SHA for a909c03

• bless caller-location test

  RalfJung

  committed
  182133f

  Copy full SHA for 182133f