Dynamic/runtime checks (and crashes) are VERY different from compile time checks though. Many applications, and especially those that DARPA are focused on, care about ahead-of-time guarantees that code will work correctly, and runtime panic is actually the worst possible failure mode. Think of flight control software, for example.

This DARPA doc isn’t about flight software.

Rust uses runtime checking for array access bounds, which are the most common kind of memory safety vulnerability.

Checking at compile-time is required for some applications and highly desirable regardless.

This is something recent versions of C++ do really well. It is my main reason for using C++ beyond its unparalleled performance in practice.