Code

miri: allocation is infallible#56981

Code

Merged

bors merged 1 commit intorust-lang:masterrust-lang/rust:masterfrom

RalfJung:miri-infallible-allocRalfJung/rust:miri-infallible-allocCopy head branch name to clipboard

Dec 23, 2018

Commits

Commits on Dec 19, 2018

• miri: allocation is infallible

  RalfJung

  committed
  81a45e2

  Copy full SHA for 81a45e2