On: What would it take to add refinement types to Rust...

[evertedsphere]

it is a refinement type over the base number type, where the predicate constrains the number to lie in an interval

e.g. { x:Int8 | 1 ≤ x ≤ 12 }