Code

More Miri error tweaks#63245

Code

Merged

bors merged 4 commits intorust-lang:masterrust-lang/rust:masterfrom

RalfJung:miri-errorRalfJung/rust:miri-errorCopy head branch name to clipboard

Aug 5, 2019

Commits

Commits on Aug 3, 2019

• also add macros for free-form error messages

  RalfJung

  committed
  fe08d9e

  Copy full SHA for fe08d9e

• add variant for experimental UB (like Stacked Borrows)

  RalfJung

  committed
  89a370d

  Copy full SHA for 89a370d

Commits on Aug 4, 2019

• move AssumptionNotHeld to UB

  RalfJung

  committed
  18daa76

  Copy full SHA for 18daa76

• AssumptionNotHeld is used only once in Miri and never caught... remove from enum

  RalfJung

  committed
  b9d4c75

  Copy full SHA for b9d4c75