{"ast_node_type":"other","tokens":[{"end":89,"kind":"keyword","start":0,"text":"write_mir_fn(tcx,"}]}
            write_mir_fn(tcx, tcx.mir_for_ctfe(def_id), &mut |_, _| Ok(()), w, options)?;
            // are shared between mir_for_ctfe and optimized_mir
        } else {