Skip to content

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

Merged
bors merged 1 commit into
rust-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 into
rust-lang:masterfrom
RalfJung:const-prop-no-alloc

const_prop: detect and avoid catching Miri errors that require alloca…

5d23518
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs