From: bors <bors@rust-lang.org>
Date: Tue, 22 May 2018 10:35:59 +0000 (+0000)
Subject: Auto merge of #50520 - Zoxc:alloc-misc, r=oli-obk
X-Git-Url: https://git.lizzy.rs/?a=commitdiff_plain;h=ff8fa5cc69db5567b32ceca1ee4ac0dcfa3a81bc;hp=-c;p=rust.git

Auto merge of #50520 - Zoxc:alloc-misc, r=oli-obk

Misc changes related to Miri allocations

This builds on top of https://github.com/rust-lang/rust/pull/50249

r? @oli-obk
---

ff8fa5cc69db5567b32ceca1ee4ac0dcfa3a81bc