{"ast_node_type":"other","tokens":[{"end":63,"kind":"keyword","start":0,"text":"if"}]}
        if p.has_infer() { p.super_fold_with(self) } else { p }
    fn fold_predicate(&mut self, p: I::Predicate) -> I::Predicate {
    }