Affirmer qu'un type n'est pas marqué
<p>Si nous définissons une marque de type, par exemple : </p>
<pre class="brush:php;toolbar:false;">déclarer const nominalSymbol : symbole unique ;
tapez Nominal<T étend la chaîne, U> = U & { [nominalSymbol] : T };</pre>
<p>Existe-t-il un moyen de définir un type <code>NotNominal<U></code> qui se résout en <code>U< code>. </p>
<pre class="brush:php;toolbar:false;">déclarer const nominalSymbol : symbole unique ;
tapez Nominal<T étend la chaîne, U> = U &
tapez BrandedType = Nominal<'Adresse', chaîne>;
tapez a = NotNominal<string> // Cela devrait être `string`
tapez b = NotNominal<Address> // Cela devrait être `jamais`</pre>
<p><br /></p>
