The satisfies Operator

type Colors = "red" | "green" | "blue";

const colors = {
    red: "yes",
    green: false,
    blue: "kinda",
} satisfies Record<Colors, string | boolean>;

constとの併用も可。

const colors = {
    ...
} as const satisfies Record<Colors, string | boolean>;

効果

誤った型の参照や代入を防げる

const g: string = colors.green;
// ERROR: Type 'boolean' is not assignable to type 'string'.

colors.red = true;
// ERROR: Type 'boolean' is not assignable to type 'string'.

存在しないプロパティの代入を防げる

colors.reeeeeeed = "foo";
// ERROR: Property 'reeeeeeed' does not exist on type { ... }

as constと併用するとreadonlyが簡易に書ける

colors.red = "YES";
// ERROR: Cannot assign to 'red' because it is a read-only property.

セマンティクスを変えずに移植できる

// satisfiesあり
const json = JSON.stringify({ id: 1 } satisfies { id: number });

// satisfiesなし
const foo: FOO = { id: 1 };
const json = JSON.stringify(foo);

従来の書き方

const colors: { [P in Colors]: string | boolean } = {
    red: "yes",
    green: false,
    blue: "kinda",
};

// 型推論：OK
const g: string = colors.green;

// 誤った型の代入：NG
colors.red = true;

// 書き換え防止：NG
colors.red = "lime";

参考

7歳娘「パパ、TypeScriptのsatisfiesって便利だね！」 - QiitaQiita

TypeScript: satisfiesオペレーターの使い所のひとつとして - QiitaQiita