6 ms·
> I miss how in Ada you can define which values an int can have. Can you do that in Rust? yes, kind of: https://crates.io/crates/deranged https://crates.io/cra
by proto_lambda 3y ago
> I miss how in Ada you can define which values an int can have. Can you do that in Rust?
yes, kind of: https://crates.io/crates/deranged https://crates.io/crates/deranged
It'll take another while until const generics on stable are advanced enough to make this properly usable, such that e.g. `RangedU32<3, 10> + RangedU32<5, 6> = RangedU32<8, 16>`.