{"ast_node_type":"other","tokens":[{"end":65,"kind":"keyword","start":0,"text":"if"}]}
        if db.dyn_compatibility_of_trait(super_trait).is_some() {
    for super_trait in all_super_traits(db, trait_).into_iter().skip(1).rev() {
            cb(DynCompatibilityViolation::HasNonCompatibleSuperTrait(trait_))?;