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

[skavi → voidfunc]

Well sure they matter, but “yaoioum” wasn’t really the main point of the post. It was more of a threat; “add refinement types to Rust, or yoric will continue building poorly named static analyzers.”