]> git.lizzy.rs Git - rust.git/commit
Rollup merge of #55888 - RalfJung:alloc-extra, r=oli-obk
authorkennytm <kennytm@gmail.com>
Tue, 13 Nov 2018 05:03:21 +0000 (13:03 +0800)
committerkennytm <kennytm@gmail.com>
Tue, 13 Nov 2018 11:20:55 +0000 (19:20 +0800)
commitc246a2981383e47ab667e788d8f0a0c65bae4c91
tree575a99a70b0443e0b30a357048552499a1367a55
parent675c95c7b80081978618f3b8f5e0f6b053478a63
parent3c88cfef67905939da71eb44575b18fd1b406e16
Rollup merge of #55888 - RalfJung:alloc-extra, r=oli-obk

miri: for uniformity, also move memory_deallocated to AllocationExtra

r? @oli-obk