почему на 8:45 ошибка? ведь тип ограничен строкой или числом и тип в ончейндж и селектвэлью одинаковый ( строка или число), дак что мешает в ончейндж передать строку, а в селектвэлью число??? ведь они оба удовлетворяют условию проверка на тру-фолс - это вообще фиерия нелогичности тайпскрипта они на всех углах документации кричат, что типы отделены от значений и что тс не имеет доступа к значению переменных (ну кроме литеральных типов, где тип тупо равен значению) а тут оказывается я могу проверить на значение тернарным оператором, ну ни фига себе а если у меня x:number = 42 я че тоже смогу ? y: typeof x extends 42 ? string : number капец все нелогично