On: 11 year old unsoundness bugs found in Rust borrow checker

It doesn't matter whether the bug is in the borrow checker or not. A comparable bug in a C++ compiler would be compiling a program that should not typecheck according to the C++ standard and then causes a segfault or a bug at runtime.