]> git.lizzy.rs Git - rust.git/commit
Auto merge of #1854 - RalfJung:partial-ptr-overwrite, r=RalfJung
authorbors <bors@rust-lang.org>
Mon, 2 Aug 2021 16:00:43 +0000 (16:00 +0000)
committerbors <bors@rust-lang.org>
Mon, 2 Aug 2021 16:00:43 +0000 (16:00 +0000)
commit99ec9c1707aad74b4a4a6d301f27fb1c19733f58
treeaa0a7443b31bdce5cdff2e0c62e3da68756a9359
parent1f969da5704b357276ef08d7d217218f76f80bc3
parent3a922286e31801a03ed52a31151f7b5f9f8ae4aa
Auto merge of #1854 - RalfJung:partial-ptr-overwrite, r=RalfJung

adjust for ERR_ON_PARTIAL_PTR_OVERWRITE

The Miri side of https://github.com/rust-lang/rust/pull/87248