{"ast_node_type":"other","tokens":[{"end":57,"kind":"keyword","start":0,"text":"infcx.enter_forall(pred.kind(),"}]}
            infcx.enter_forall(pred.kind(), |predicate| {
        for (pred, pred_span) in cx.tcx.explicit_item_bounds(def_id).iter_identity_copied() {
                let ty::ClauseKind::Projection(proj) = predicate else {