|
| ▲ | dralley 3 hours ago | parent | next [-] |
| >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 3 hours ago | parent | next [-] | | 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. | | |
| ▲ | jonas21 2 hours ago | parent [-] | | This 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 2 hours ago | parent [-] | | In 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 2 hours ago | parent | prev [-] | | I think the point is you should probably run that tool and fix all the issues _before_ merging into the master branch. |
|
|
| ▲ | jnwatson 3 hours ago | parent | prev [-] |
| Indeed this was caught by a well-known tool, Miri, that detected this error. |
| |
