Компилятор TS недоволен типом объединения, включающим бренд перечисления (номинальная типизация)

В TypeScript перечисления могут иметь числовой или строковый тип. У числа нет метода .toUpperCase().

Ваш пример должен работать, потому что перечисление сужено до строки типа.

Обходной путь:

enum ExampleIdBrand {}
export type ExampleId = ExampleIdBrand;
const exampleId: ExampleId = '42';

const m1 = (e: ExampleId) => e.toString().toUpperCase();
m1(exampleId);

const m2 = (e: ExampleId | 'whatever') => e.toString().toUpperCase();
m2('whatever'); // ✅
m2(exampleId); // ✅

То, что происходит с пересечением, являющимся пустым множеством (т. е. нет значений, которые могут быть экземплярами пересечения), — это то, что изменилось. Я не могу найти документы, хотя я буду продолжать искать, но при определенных условиях такие пересечения рухнут в никогда. И мы видим, как это работает в данном случае, ExampleId | 'whatever' = never | 'whatever' = 'whatever'

const m2 = (e: ExampleId | 'whatever') => e.toUpperCase()
type x =  Parameters<typeof m2>[0] //  'whatever'

Чтобы сохранить номинальный характер ExampleId, мы можем вместо этого добавить свойство:

enum ExampleIdBrand {}
export type ExampleId = { __brand: ExampleIdBrand } & string
const exampleId: ExampleId = '42' as ExampleId

const m1 = (e: ExampleId | "whatever") => e.toUpperCase()
m1(exampleId) // ✅
m1("whatever")// ✅

Или, если мы хотим действительно хорошо скрыть этот член, мы можем использовать пересечение с классом с закрытым полем:

enum ExampleIdBrand { }
class Brand<T> { private __brand: T}
export type ExampleId = Brand<ExampleIdBrand> & string
const exampleId: ExampleId = '42' as ExampleId

const m1 = (e: ExampleId | "whatever") => e.toUpperCase()
m1(exampleId) // ✅
m1("whatever")// ✅

Или отбросьте перечисление и используйте это class ExampleIdBrand { private __brand!: any}