счет того, чтобы по аналогии с NonZeroI32 и подобными иметь какой-нибудь NonValI32<const N: i32>, который бы так же мог компактно паковаться в Option?
боюсь без РФЦ не получится
Слишком сложно пока что. Дырки в типах компилятор делает через rustc_layout_scalar_valid_range_start, а значение туда через конст-генерик не всунешь. Единственный пример, у которого дырка не в 0 — char, но это специальный тип в компиляторе.
Не выйдет
Обсуждают сегодня