Would be interesting to see this applied to Rust. Obviously physical side-effect attacks (timing, EM) are still a concern and LLVM optimisations need to be cons

Would be interesting to see this applied to Rust. Obviously physical side-effect attacks (timing, EM) are still a concern and LLVM optimisations need to be considered as with the Clang toolchain, but massive swathes of UB are eliminated when compared to C.