]> git.lizzy.rs Git - rust.git/commit - src/tools/miri
Auto merge of #66645 - RalfJung:dereferenceable, r=pnkfelix
authorbors <bors@rust-lang.org>
Fri, 29 Nov 2019 11:35:03 +0000 (11:35 +0000)
committerbors <bors@rust-lang.org>
Fri, 29 Nov 2019 11:35:03 +0000 (11:35 +0000)
commitc4375c9dfdd7f31de909f6e9384bac1bf37b44da
tree48ff1fdfe6f3945cc4ae39abd2815042ad52bbc4
parentfe969f4ec67a5bd317818cbc7a648c5795af15fa
parentd0b983307b1d4469396389e54b9d9ab2b5f43c48
Auto merge of #66645 - RalfJung:dereferenceable, r=pnkfelix

remove the 'dereferenceable' attribute from Box

Fixes https://github.com/rust-lang/rust/issues/66600

r? @eddyb @rkruppe