実装が型宣言を満たしていることはTypeScriptコンパイラが、実装が正しい値を返すことはテストが保証します。では、「型宣言そのものが変わっていないこと」は、どうすれば保証できるのでしょうか？
例えば、

• 型宣言にoptionalなメソッドを追加した
• 既存のメソッドにoptionalな引数を追加した
• 型宣言にメソッドを追加し、コンパイラの未実装エラーに促されて実装まで足してしまった
  といった変更は、コンパイラやテストによる検査を通過してしまいます。

そこで本セッションでは、VitestのexpectTypeOfによる「型宣言が変更されていないこと」を保証する方法を紹介します。expectTypeOfを利用した「型のスナップショットテスト」の基本形や、実装する上での注意点をお伝えします。