TypeScriptで型推論した型が条件を満たすことをチェック
#TypeScript
satisfies
演算子
でできる
もちろん
型推論
してるかどうか関係なくできる
https://www.typescriptlang.org/docs/handbook/release-notes/typescript-4-9.html#the-satisfies-operator