If you needed any more evidence that memory safety is the future...

[Ola Fosheim Grøstad via Digitalmars-d]

On Tuesday, 7 March 2017 at 15:48:12 UTC, Kagamin wrote:
> On Monday, 6 March 2017 at 21:05:13 UTC, Timon Gehr wrote:
>> Not every program with a wrong assertion in it exceeds array 
>> bounds.
>
> Until it does.

Going outside array bounds isn't necessarily the same as a 
contradiction.