{"ast_node_type":"other","tokens":[{"end":73,"kind":"keyword","start":0,"text":"write_mir_fn(tcx,"}]}
                write_mir_fn(tcx, body, &mut |_, _| Ok(()), w, options)?;
                writeln!(w)?;
            }