Руководство по TypeScript делает интересное заявление: «Часто проверки в условном типе предоставляют нам некоторую новую информацию. Как и сужение с помощью охранников типов может дать нам более конкретный тип, ветвь true условного типа еще больше ограничивает обобщенные типы типом, с которым мы проводим проверку».В этом блог-посте мы увидим, что это идет дальше, чем вы можете подумать.