Skip to content

const_prop: detect and avoid catching Miri errors that require allocation#66832

Merged
bors merged 1 commit intorust-lang:masterfrom
RalfJung:const-prop-no-alloc
Dec 1, 2019
Merged

const_prop: detect and avoid catching Miri errors that require allocation#66832
bors merged 1 commit intorust-lang:masterfrom
RalfJung:const-prop-no-alloc

Commits