断言一个类型没有品牌化

Question

如果我们定义一个类型品牌，例如：

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

是否有一种方法可以定义一个类型NotNominal，如果U不是一个品牌类型，则解析为U。

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

雷雷