Affirmer qu'un type n'est pas marqué

Question

Si nous définissons une marque de type, par exemple :

déclarer const nominalSymbol : symbole unique ;
tapez Nominal<T étend la chaîne, U> = U & { [nominalSymbol] : T };

Existe-t-il un moyen de définir un type NotNominal qui se résout en U< code>.

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`

Answer 1

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