El operador satisfies de TypeScript está infravalorado

Recurrir a una anotación de tipo para comprobar un objeto es el reflejo, y en silencio te cuesta información. Anotar con : Record<string, Color> confirma que la forma es correcta, pero también ensancha cada valor a Color. El compilador olvida que brand era específicamente una tupla RGB, así que indexarla se convierte en un error. Pediste una comprobación y obtuviste una degradación.

El operador satisfies, añadido en TypeScript 4.9, separa esos dos trabajos. Verifica que el valor cumple un tipo sin cambiar el tipo inferido del valor. Te quedas con la barandilla y conservas la precisión.

1
type RGB = [number, number, number];
2
type Color = RGB | string;
3

4
const palette = {
5
  brand: [37, 99, 235],
6
  danger: "#dc2626",
7
} satisfies Record<string, Color>;
8

9
palette.brand[0].toFixed(0); // ✓ brand sigue siendo RGB, no Color
10
palette.danger.toUpperCase(); // ✓ danger sigue siendo string
11
palette.accent; // ✗ error de compilación: la propiedad no existe

Con una anotación, palette.brand[0] fallaría —Color no es indexable— y palette.accent se permitiría en silencio, porque Record<string, Color> promete claves arbitrarias. satisfies te da el par opuesto y correcto: los valores conservan sus tipos inferidos estrechos, así que brand[0] pasa la comprobación, mientras que el objeto sigue validándose contra la restricción, así que un error tipográfico como accent se detecta.

La regla que lo fija: una anotación restringe y ensancha; satisfies restringe y preserva. Úsalo en cualquier sitio donde escribas un literal que deba cumplir un contrato pero cuya forma exacta quieras que el compilador siga recordando: mapas de configuración, tablas de rutas, tokens de estilo, registros de uniones discriminadas. Es la diferencia entre decirle al compilador lo que un valor es y pedirle que compruebe lo que escribiste.