Skip to content

black_box: silence unused_mut warning when building with cfg(miri)#76823

Merged
bors merged 1 commit into
rust-lang:masterfrom
RalfJung:black-box-warn
Sep 20, 2020
Merged

black_box: silence unused_mut warning when building with cfg(miri)#76823
bors merged 1 commit into
rust-lang:masterfrom
RalfJung:black-box-warn

black_box: silence unused_mut warning when building with cfg(miri)

1dd3df6
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs