Sure, usually the program can be changed to avoid the issue, but the key here is that the Rust compiler is wrong and needs to be fixed. Once fixed, the actual program fix also falls in place, as it cannot be compiled anymore.
replyThat's the same kind of issue like a bug in a C++ compiler.
replyThe average cause of unsoundness in a C++ program is not a C++ compiler bug
replyThis is about an issue in the type checker, which would lead to unsoundness also in a C++ program. And also in Rust most causes of runtime failures are actually things that happen in `unsafe` blocks.
reply