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.
I've seen large rewrites and migrations take both approaches -- in my experience, the former usually works out better.