TypeScriptでは、タイプシステムに「理論的にはこれらの複数のタイプがあるかもしれないことを知っていますが、実際にはこれだけがあることを知っています」と伝えるにはどうすればよいですか」
In TypeScript, how can I tell the type system "I know that in theory this value may have these multiple types, but in practice I know it will only have this one"