Stellen Sie sicher, dass ein Typ nicht mit einer Marke versehen ist
<p>Wenn wir eine Typmarke definieren, zum Beispiel: </p>
<pre class="brush:php;toolbar:false;">declare const nominalSymbol: eindeutiges Symbol;
Typ Nominal<T erweitert String, U> = U &
<p>Gibt es eine Möglichkeit, einen Typ <code>NotNominal<U></code> zu definieren, der in <code>U< aufgelöst wird? Code>. </p>
<pre class="brush:php;toolbar:false;">declare const nominalSymbol: eindeutiges Symbol;
Typ Nominal<T erweitert String, U> = U &
type BrandedType = Nominal<'Address', string>;
type a = NotNominal<string> // Dies sollte „string“ sein
type b = NotNominal<Address> // Dies sollte „never“ sein</pre>
<p><br /></p>
