はてなブックマーク

satisfies 演算子とは TypeScript 4.9 で導入された satisfies 演算子は、式 satisfies 型 のようにして使い、式 が 型にマッチするかどうかをチェックします。 satisfies は、 式がある型にマッチすることを保証しつつ、文脈的に型付けする 式 が 型にマッチするかどうかをチェックし、型アノテーションとは違い、型推論結果を保つ という演算子です。 type User = { email: string }; // OK const jane = { email: "[email protected]" } satisfies User; // Error const john = { email: "[email protected]", id: 1 } satisfies User; // ~~ Object literal may only