Module dump

Functions

dump_polonius_mir 🔒

-Zdump-mir=polonius dumps MIR annotated with NLL and polonius specific information.

emit_polonius_mir 🔒

Produces the actual NLL + Polonius MIR sections to emit during the dumping process.