{"ast_node_type":"other","tokens":[{"end":20,"kind":"keyword","start":0,"text":"}"}]}
            } else {
                vec![tcx.optimized_mir(*def_id), tcx.mir_for_ctfe(*def_id)]
                vec![tcx.instance_mir(ty::InstanceKind::Item(*def_id))]