Skip to content

emphasize that ManuallyDrop is safe-to-access and unsafe-to-drop#72277

Merged
bors merged 1 commit intorust-lang:masterfrom
RalfJung:manually-drop-docs
May 17, 2020

Commits

Commits on May 16, 2020