fail-on-duplicate-type-names.json-error   [plain text]

ERROR: Duplicate type with name: uint64_t