]> git.lizzy.rs Git - rust.git/commitdiff
Auto merge of #49833 - oli-obk:incremental_miri_regression, r=michaelwoerister
authorbors <bors@rust-lang.org>
Sun, 15 Apr 2018 12:32:13 +0000 (12:32 +0000)
committerbors <bors@rust-lang.org>
Sun, 15 Apr 2018 12:32:13 +0000 (12:32 +0000)
Don't recurse into allocations, use a global table instead

r? @michaelwoerister

fixes #49663


Trivial merge