{"ast_node_type":"other","tokens":[{"end":72,"kind":"keyword","start":0,"text":"}"}]}
    } else if find_attr!(attrs, AttributeKind::SpecializationTrait(_)) {
        ty::trait_def::TraitSpecializationKind::Marker
        ty::trait_def::TraitSpecializationKind::AlwaysApplicable