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