You are correct that a Rust interpreter would work great on MIR, which is why Scott Olson (@tsion) has been working on one: <a href="https:&#x2F;&#x2F;github.com&#x2F;tsion&#x2F;miri" rel="nofollow">https:&#x2F;&#x2F;github.com&#x2F;tsion&#x2F;miri</a> (check out the slides and the report).