Как работает оператор satisfies?

Оператор satisfies (TypeScript 4.9) проверяет, что выражение соответствует заданному типу, но при этом не затирает вывод типа. В отличие от аннотации : Type, которая расширяет тип до Type, satisfies сохраняет узкий (литеральный) тип значения. Ты получаешь и проверку соответствия, и точный автовывод одновременно.