{"ast_node_type":"other","tokens":[{"end":85,"kind":"keyword","start":0,"text":"ty::ClauseKind::Trait(ty::TraitPredicate"}]}
            ty::ClauseKind::Trait(ty::TraitPredicate { trait_ref, polarity: _ }) => {
        match clause.kind().skip_binder() {
                self.visit_trait(trait_ref)