I don't think it's worth trading off a risk of human extinction against the ability to convert C++ code to Rust more efficiently.