Eg: the borrow checker is a kind of static analysis that's quite difficult to do soundly for C/C++ (and most other languages)