TypeScript's satisfies Operator: Why It Beats Type Annotations for Literal Inference

The TypeScript satisfies operator, introduced in version 4.9, allows developers to enforce type constraints on a value without erasing its literal type information, unlike traditional type annotations. When a variable is annotated with a type, TypeScript widens inferred values — for example, a string literal becomes simply string — making conditional checks and exhaustiveness testing unreliable. Using satisfies instead preserves exact literal types while still validating that the value conforms to the required shape. This distinction is especially critical for configuration objects, feature flags, and discriminated unions, where downstream logic depends on precise compile-time knowledge of values. Many codebases continue to overlook this operator, leading to unnecessary runtime checks and lost compile-time guarantees that TypeScript could otherwise provide.