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

Mon Mar 6 13:05:13 PST 2017

On 03.03.2017 16:52, Kagamin wrote:
> On Friday, 24 February 2017 at 20:16:28 UTC, Timon Gehr wrote:
>> No. Worse. It turns failures into UB.
>
> On the other hand disabled bounds check can result in buffer overflow,
> which is already UB enough, so asserts turned into assumes won't add
> anything new.

Not every program with a wrong assertion in it exceeds array bounds.