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