如果我们定义一个类型品牌,例如:
declare const nominalSymbol: unique symbol; type Nominal= U & { [nominalSymbol]: T };
是否有一种方法可以定义一个类型NotNominal
,如果U
不是一个品牌类型,则解析为U
。
declare const nominalSymbol: unique symbol; type Nominal= U & { [nominalSymbol]: T }; type BrandedType = Nominal<'Address', string>; type a = NotNominal // 这应该是 `string` type b = NotNominal // 这应该是 `never`
雷雷