type U = T extends number ? 0 : 1;
const u: U = 0; // с чего бы
};
ну тут и тип со свободной переменной, следовательно не вычислимый до константной формы, ожидаемо мной что он будет таким какой он есть. А вот в моем случае свободных переменных нет
Обсуждают сегодня