タイプ ブランドを定義すると、たとえば次のようになります。

const nominalSymbol を宣言: 固有のシンボル; type Nominal
      
       = U & { [nominalSymbol]: T };; 
U がブランド タイプではない場合に、U< に解決されるタイプ NotNominal を定義する方法はありますか /コード＞。 
 
const nominalSymbol を宣言: 固有のシンボル; type Nominal
       
        = U & { [nominalSymbol]: T }; type BrandedType = Nominal<'Address', string>; type a = NotNominal // これは `string` である必要があります type b = NotNominal
 // これは `never`
 である必要があります。