From: Oliver Schneider <oli-obk@users.noreply.github.com>
Date: Wed, 26 Jul 2017 21:37:52 +0000 (+0200)
Subject: Merge pull request #272 from oli-obk/mir-validate
X-Git-Url: https://git.lizzy.rs/?a=commitdiff_plain;h=f906c5458c43d0666dd9af37f44cd46a190f0506;hp=--cc;p=rust.git

Merge pull request #272 from oli-obk/mir-validate

Mir validate
---

f906c5458c43d0666dd9af37f44cd46a190f0506