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

[riffraff]

raku has "type subsets" which can do this (and more)

https://docs.raku.org/language/typesystem#subset