Skip to content

Document that ManuallyDrop::drop should not called more than once#62360

Merged
bors merged 3 commits into
rust-lang:masterfrom
Aaron1011:patch-2
Jul 29, 2019
Merged

Document that ManuallyDrop::drop should not called more than once#62360
bors merged 3 commits into
rust-lang:masterfrom
Aaron1011:patch-2

Update wording

a93f4ab
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs