No, it's just that there's now a hardened version of the standard library that does bound checks at runtime. Compile-time reflection is an entirely different f

No, it's just that there's now a hardened version of the standard library that does bound checks at runtime. Compile-time reflection is an entirely different feature and has nothing to do with memory safety. The article also mentions contracts that can be used to validate pre- and postconditions of function calls.