Skip to content

do not inline black_box when building for Miri#76434

Merged
bors merged 4 commits intorust-lang:masterfrom
RalfJung:black-box
Sep 19, 2020
Merged

do not inline black_box when building for Miri#76434
bors merged 4 commits intorust-lang:masterfrom
RalfJung:black-box

Commits

Commits on Sep 7, 2020