Miri: fix determining size of an "extra function" allocation#63076
Merged
bors merged 3 commits intorust-lang:masterfrom Jul 29, 2019
Merged
Miri: fix determining size of an "extra function" allocation#63076bors merged 3 commits intorust-lang:masterfrom
bors merged 3 commits intorust-lang:masterfrom