Simple refinement types for Rust – parse, don't validate (jordankaye.dev)