Ada is also C++ but safe, so I don't see that as a refutation.

Ada has been a great language for lower-level code by my (modern) standards. I'm not sure what you're on about and the lack of concrete examples make it hard to guess.