タイプがブランド化されていないことをアサートします

Question

<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>

Answer 1

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