News for hackers. Stuff that matters.

A comment on What would it take to add refinement types to Rust?. Parent comment

Re:What would it take to add refinement types to Rust? by josephg on Tuesday December 24, 2024 @07:02PM (#42505878)
Rust has this one - though the ergonomics are a little awkward. Its called NonZero:

https://doc.rust-lang.org/std/num/type.NonZeroU32.html

[ Parent | on HN ]

There are no comments on this comment yet.