On: Miri: Interpreter for Rust's mid-level intermediat...

[richardwhiuk]

Introspection in the Playground is solvable with two things, a) everything defining debug, and b) `let _ : () = a; ` forcing Rust to tell you what type it's inferred.