{"ast_node_type":"other","tokens":[{"end":45,"kind":"keyword","start":0,"text":"self.predicate.skip_binder().polarity"}]}
        self.predicate.skip_binder().polarity
    pub fn polarity(&self) -> ty::PredicatePolarity {
    }