alt Hacker News>There are well-known tools in the Rust ecosystem that detect this kind of error
Yes, tools like Miri, which this very post is about.
Replies
xienze • yesterday at 7:38 PM
I think the point is you should probably run that tool and fix all the issues _before_ merging into the master branch.
Indeed. My point is that just using the standard tools in the Rust ecosystem - like miri - would have trivially uncovered this error before it made it to the mainline.