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