{"ast_node_type":"other","tokens":[{"end":40,"kind":"keyword","start":0,"text":")"}]}
) -> Option<DynCompatibilityViolation> {
    trait_: TraitId,
    for super_trait in all_super_traits(db, trait_).into_iter().skip(1).rev() {