Well, actually, we store MIR in crate metadata. However, it&#x27;s not a special serialization format, just the rustc_serialize infrastructure, i.e. you could also serialize MIR to JSON if you really wanted to.