タイプがブランド化されていないことをアサートします
<p>タイプ ブランドを定義すると、たとえば次のようになります。 </p>
<pre class="brush:php;toolbar:false;">const nominalSymbol を宣言: 固有のシンボル;
type Nominal = U & { [nominalSymbol]: T };;
<p><code>U</code> がブランド タイプではない場合に、<code>U< に解決されるタイプ <code>NotNominal<U></code> を定義する方法はありますか /コード＞。 </p>
<pre class="brush:php;toolbar:false;">const nominalSymbol を宣言: 固有のシンボル;
type Nominal = U & { [nominalSymbol]: T };
type BrandedType = Nominal<'Address', string>;
type a = NotNominal<string> // これは `string` である必要があります
type b = NotNominal<Address> // これは `never`</pre> である必要があります。
<p><br /></p>
