{"ast_node_type":"other","tokens":[{"end":87,"kind":"keyword","start":0,"text":"if"}]}
        if p.has_type_flags(TypeFlags::HAS_BINDER_VARS | TypeFlags::HAS_FREE_REGIONS) {
    fn fold_predicate(&mut self, p: ty::Predicate<'tcx>) -> ty::Predicate<'tcx> {
            p.super_fold_with(self)