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

[sagacity]

It's unfortunate that this is the only takeaway of the article for you.

[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.”