{"ast_node_type":"other","tokens":[{"end":69,"kind":"keyword","start":0,"text":"write_mir_fn(tcx,"}]}
            write_mir_fn(tcx, body, &mut |_, _| Ok(()), w, options)?;
        let render_body = |w: &mut dyn io::Write, body| -> io::Result<()> {