Interesting they note that part of the reason for the low impact is because LLVM was already good at optimising checks due to work on things like Rust. So the safer C++ code indirectly benefited from that.