{"ast_node_type":"other","tokens":[{"end":26,"kind":"keyword","start":0,"text":".."}]}
                        ..
                        polarity: ty::PredicatePolarity::Positive,
                    })) = error_predicate.kind().skip_binder()