]> git.lizzy.rs Git - rust.git/commit - src/tools/clippy
projects / rust.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(merge: a4cd2ec a93f4ab)
Rollup merge of #62360 - Aaron1011:patch-2, r=RalfJung
authorMazdak Farrokhzad <twingoow@gmail.com>
Sun, 28 Jul 2019 19:19:52 +0000 (21:19 +0200)
committerGitHub <noreply@github.com>
Sun, 28 Jul 2019 19:19:52 +0000 (21:19 +0200)
commitfbfd542277e8f0e9703dd7f2696b86c633629c79
tree3c4c95aba8cc8170d20be603b5758c2d32a477eatree | snapshot
parenta4cd2ecab2240007e877759421fe0929ad74301bcommit | diff
parenta93f4abe24019e2dbe1e8f9bffae01d91d5079e0commit | diff
Rollup merge of #62360 - Aaron1011:patch-2, r=RalfJung

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

Double dropping is unsound (e.g. https://github.com/rust-lang/rust/issues/60977). This commit documents the fact that `ManuallyDrop::drop` should not be called multiple times on the same instance, as it might not be immediately obvious that this counts as a use of uninitialized data.
Empowering everyone to build reliable and efficient software.