{"ast_node_type":"other","tokens":[{"end":77,"kind":"keyword","start":0,"text":"DynCompatibilityViolation::HasNonCompatibleSuperTrait(_)"}]}
                DynCompatibilityViolation::HasNonCompatibleSuperTrait(_) => {
                DynCompatibilityViolation::GAT(_) => GAT,
                    HasNonCompatibleSuperTrait