{"ast_node_type":"other","tokens":[{"end":40,"kind":"keyword","start":0,"text":"HasNonCompatibleSuperTrait(TraitId),"}]}
    HasNonCompatibleSuperTrait(TraitId),
    // This doesn't exist in rustc, but added for better visualization
}