1. TypeScript の satisfies 演算子とは？

TypeScript 4.9 で導入された演算子で、**「ある値が特定の型制約を満たしているかをコンパイル時に確認する」**ために使います。 実行時の挙動には影響せず、完全に 型チェック専用 です。

サンプル

type Route = "home" | "about" | "contact";

const routes = {
  home: "/",
  about: "/about",
  contact: "/contact",
} satisfies Record<Route, string>;

// ✅ Route に対応する URL が必ず存在することを保証
// ✅ 値は string でリテラル保持