в чем смысл?
Ты какие то странные вопросы задаешь
TS будет правильно выводить типы благодаря discriminated union: https://basarat.gitbooks.io/typescript/docs/types/discriminated-unions.html
Обсуждают сегодня