TypeScript: the `satisfies` operatorThe satisfies operator in TypeScript provides a way to verify value types at compile time without runtime impact.