числовой литерал (0 | 1 | 2 | 3 | 4), а не просто number?
Ты имеешь в виду произвольный диапазон целых неотрицательных чисел? В смысле, что-то типа IntegerRange<0,145> = 0|1|2 …… |145 ?
Если честно - мне надо понять что в типе лежит tuple, любой длины. Пока что это вроде как проверяется через наличие поля length со значением 0 | 1 | 2 и так далее, но не number (number лежит у массива произвольной длины)
Обсуждают сегодня