assert semantic change proposal

[Walter Bright via Digitalmars-d]

On 8/4/2014 8:01 AM, Andrei Alexandrescu wrote:
> On 8/4/14, 7:27 AM, Matthias Bentrup wrote:
>> Should this semantics extend to array bounds checking, i.e. after the
>> statement
>>
>> foo[5] := 0;
>>
>> can the optimizer assume that foo.length >= 6 ?
>
> Yes, definitely. -- Andrei


Yes, after all, bounds checking is just another form of asserts.