3 ms·
>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.
by dralley 5mo ago
>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.
- Xylakant 5mo agoIndeed. 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.
- jonas21 5mo agoThis is an engineering choice: do you merge first and then fix the remaining issues or do you get everything perfectly clean first and then merge? I've seen large rewrites and migrations take both approaches -- in my experience, the former usually works out better.
- Xylakant 5mo agoIn any practical application there'll be a known set of errors and I'm generally fine merging code that has known deficiencies. But personally, I'd not condone merging anything that causes UB. It undermines such a fundamental guarantee of the language that it should be detected and eliminated. And bun certainly rises to the level of software where I'd expect that the project runs all available tooling to detect such cases. Especially if you LLM - code it. "Do not cause UB" should be part of the test harness.
- xienze 5mo agoI think the point is you should probably run that tool and fix all the issues _before_ merging into the master branch.