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/

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_Developer/chapters/05_Type_System.html https://learn.adacore.com/courses/Ada_For_The_CPP_Java_Devel...