satisfies

Definition

L'operateur satisfies verifie qu'une valeur est compatible avec un type sans elargir le type infere. Contrairement a l'annotation de type, il conserve le type literal le plus precis.

Analogie

Un controle qualite : l'objet est verifie conforme au standard, mais il garde toutes ses caracteristiques specifiques.

Exemple de code

type Colors = Record<string, [number, number, number]>;
const palette = {
  red: [255, 0, 0],
  green: [0, 255, 0],
} satisfies Colors;
class="cmt">// palette.red est [number, number, number], pas any
palette.red; class="cmt">// type precis conserve

Cas d'usage

Valider un objet de configuration contre un type tout en conservant l'autocompletion des cles specifiques.