assert semantic change proposal

[Matthias Bentrup via Digitalmars-d]

Should this semantics extend to array bounds checking, i.e. after 
the statement

foo[5] := 0;

can the optimizer assume that foo.length >= 6 ?