TypeScript: 構文満たす演算子

TypeScriptのsatisfiesオペレーターは、値の型を（ほとんど）影響せずにチェックできるようにします。このブログポストでは、どのように機能し、どこで有用なのかを調べます。