What does the `satisfies` operator introduced in TypeScript 4.9 do?

Question

TypeScript Professional — Hard

What does the `satisfies` operator introduced in TypeScript 4.9 do?

Accepted Answer

The `satisfies` operator in TypeScript 4.9 validates that a value matches a type without widening the inferred type. This means it ensures strict type checking without altering the type of the value.