{"ast_node_type":"other","tokens":[{"end":9,"kind":"keyword","start":0,"text":"}"}]}
        }
            format_to!(buf, "having a generic associated type `{}`", name.as_str());
        DynCompatibilityViolation::HasNonCompatibleSuperTrait(super_trait) => {