{"ast_node_type":"variable","tokens":[{"end":75,"kind":"keyword","start":0,"text":"if"}]}
            if let ty::FnDef(def_id, args) = *constant.const_.ty().kind() {
                let instantiated_predicates = tcx.predicates_of(def_id).instantiate(tcx, args);