]> git.lizzy.rs Git - rust.git/commit
Auto merge of #2323 - RalfJung:box-is-special, r=RalfJung
authorbors <bors@rust-lang.org>
Tue, 5 Jul 2022 12:35:03 +0000 (12:35 +0000)
committerbors <bors@rust-lang.org>
Tue, 5 Jul 2022 12:35:03 +0000 (12:35 +0000)
commit35399c6a5d62e2a3ea2bf52ff1b78b7280eeff20
treeccc596647931bb353898181f97305cfead816821
parent1a60a7dc89e9ef3dabb88152029231928603bf15
parent2931e0fd63541d6e39ffa9ec75ffc9b614b73a16
Auto merge of #2323 - RalfJung:box-is-special, r=RalfJung

handle Box with allocators

This is the Miri side of https://github.com/rust-lang/rust/pull/98847.

Thanks `@DrMeepster` for doing most of the work of getting this test case to pass in Miri. :)