Note, however, that ensuring the safety of authored code in this way does not in itself also ensure the correctness of that code.
None of the features described here eliminates the need for conventional testing and debugging.