satisfies operator trong TypeScript là gì?

satisfies (TS 4.9) kiểm tra type mà không mở rộng type declaration. Khác as: satisfies vẫn infer type cụ thể nhất có thể và báo lỗi nếu không match.

Ví dụ: const config = {...} satisfies Config - TS check config đúng Config nhưng giữ literal types của values.