{"ast_node_type":"other","tokens":[{"end":64,"kind":"keyword","start":0,"text":"//"}]}
            // are shared between mir_for_ctfe and optimized_mir
            // Do not use `render_body`, as that would render the promoteds again, but these
            write_mir_fn(tcx, tcx.mir_for_ctfe(def_id), &mut |_, _| Ok(()), w, options)?;