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

[thesuperbigfrog]

I would love to see refinement types added to Rust.

They are very handy for preventing errors and expressing intent in Ada:

https://learn.adacore.com/courses/Ada_For_The_CPP_Java_Devel...