From: bors <bors@rust-lang.org>
Date: Wed, 7 Nov 2018 09:14:12 +0000 (+0000)
Subject: Auto merge of #55549 - RalfJung:miri-visitor, r=oli-obk
X-Git-Url: https://git.lizzy.rs/?a=commitdiff_plain;h=8315b11b6352cbd91ee096571c31ae7d3ac9613d;p=rust.git

Auto merge of #55549 - RalfJung:miri-visitor, r=oli-obk

Value visitors for miri

Generalize the traversal part of validation to a `ValueVisitor`.

~~This includes https://github.com/rust-lang/rust/pull/55316, [click here](https://github.com/RalfJung/rust/compare/retagging...RalfJung:miri-visitor) for just the new commits.~~
---

8315b11b6352cbd91ee096571c31ae7d3ac9613d