{"ast_node_type":"other","tokens":[{"end":81,"kind":"keyword","start":0,"text":"ty::ClauseKind::Trait(ty::TraitPredicate"}]}
        ty::ClauseKind::Trait(ty::TraitPredicate { trait_ref, polarity: _ }) => {
    match clause.kind().skip_binder() {
            Some(tcx.trait_def(trait_ref.def_id).specialization_kind)