Having refinement types in Rust would be a massive game changer. It would make it possible to write proven correct software directly in Rust. Hey even I would s

Having refinement types in Rust would be a massive game changer. It would make it possible to write proven correct software directly in Rust. Hey even I would switch from C++ to Rust :)