Skip to content

Miri: fix determining size of an "extra function" allocation - #63076

Merged
bors merged 3 commits into
rust-lang:masterfrom
RalfJung:miri-fn-ptr-alloc-size
Jul 29, 2019
Merged

Miri: fix determining size of an "extra function" allocation#63076
bors merged 3 commits into
rust-lang:masterfrom
RalfJung:miri-fn-ptr-alloc-size

replace match by ok()

0e602f1
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs