TypeScriptの型エイリアスにまつわるあれこれ

図3　タプル型の定義に反したコードでエラーとなった画面