This is fantastic news, Andrei! It's all about provably correct code like Walter often brings up on his talks. If/When this arrives, D will become an even more suitable replacement for safety critical languages like Ada.