D makes most memory safety bugs disappear through its runtime bounds checking and garbage collection, both proven solutions in a variety of languages.

Yes, Walter is working on more compile time stuff too, but the existing runtime checks really do excellent work and shouldn't be overlooked.