satisfies (TS 4.9+) comprueba que un valor se ajusta a un tipo sin ampliar (widening) el tipo inferido del valor. Valida contra una restricción mientras conserva el tipo preciso y literal para usarlo después: lo mejor de la anotación y de la inferencia.
= <, | >;
: = { : , : };
a..();
b = { : , : } ;
b..();
b..();
Con la anotación, b se tiparía como el amplio Config. Con satisfies, b conserva su forma exacta { host: string; port: number } y se comprueba que es un Config válido.
const routes = {
home: "/",
user: "/users/:id",
} satisfies Record<string, string>;
type RouteName = keyof typeof routes; // "home" | "user" — exact keys preserved
as vs anotación: T — comprueba, pero amplía a T (pierdes los detalles).as T — fuerza el tipo, sin comprobación real (inseguro).satisfies T — comprueba contra T, conserva el tipo inferido estrecho (seguro y preciso).satisfies te permite validar que un objeto coincide con una interfaz/restricción y, al mismo tiempo, seguir obteniendo tipos literales exactos para el autocompletado, el narrowing y keyof.
Es ideal para objetos de configuración, mapas de rutas, paletas de temas y tablas de búsqueda constantes donde quieres tanto corrección como inferencia precisa.