TypeScript `satisfies` vs Type Annotations

The `satisfies` operator validates a type at compile time without widening it. Unlike `: Type`, it preserves the narrowed literal type while still enforcing the constraint. Use it when you want type safety without losing inference.