You might be interested in issue #511: Building a REPL on top of miri [1] If you just want to get the MIR, you can do that today. In the playground, expand the

You might be interested in issue #511: Building a REPL on top of miri [1] If you just want to get the MIR, you can do that today. In the playground, expand the "Run" menu and select "MIR". [1]: https://github.com/rust-lang/miri/issues/511 https://github.com/rust-lang/miri/issues/511