]> git.lizzy.rs Git - rust.git/commit - src/tools/miri
Rollup merge of #66411 - RalfJung:forget, r=sfackler
authorMazdak Farrokhzad <twingoow@gmail.com>
Sun, 24 Nov 2019 02:16:59 +0000 (03:16 +0100)
committerGitHub <noreply@github.com>
Sun, 24 Nov 2019 02:16:59 +0000 (03:16 +0100)
commit9b0427fc943490fd0065c656afd185a219b672c4
tree17303d72b4d50f87b1e04b69cfad2446df2c1426
parentd845e6fc8d293cf8cf0c0ac987b9c917a1eb6fab
parent7009e6d001ebc807eca04c5b9f07779db02eca99
Rollup merge of #66411 - RalfJung:forget, r=sfackler

mem::forget docs: mention ManuallyDrop

Cc @SimonSapin @Centril
src/libcore/mem/mod.rs