Function emit_html_mir 

fn emit_html_mir<'tcx>(
    dumper: &MirDumper<'_, '_, 'tcx>,
    body: &Body<'tcx>,
    out: &mut dyn Write,
) -> Result<()>

Emits the polonius MIR, as escaped HTML.