斷言一個類型沒有品牌化

Question

如果我們定義一個類型品牌，例如：

declare const nominalSymbol: unique symbol;
type Nominal<T extends string, U> = U & { [nominalSymbol]: T };

有沒有方法可以定義一個型別NotNominal，如果U不是品牌類型，則解析為U< /code>。

declare const nominalSymbol: unique symbol;
type Nominal<T extends string, U> = U & { [nominalSymbol]: T };

type BrandedType = Nominal<'Address', string>;

type a = NotNominal<string> // 這應該是 `string`
type b = NotNominal<Address> // 這應該是 `never`

Answer 1

type NotNominal<U> = U extends { [nominalSymbol]: string } ? never : U