{"ast_node_type":"other","tokens":[{"end":58,"kind":"keyword","start":0,"text":"write_mir_fn(tcx,"}]}
    write_mir_fn(tcx, body, &mut extra_data, w, options)?;
    write_user_type_annotations(tcx, body, w)?;
    extra_data(PassWhere::AfterCFG, w)