checkedint call removal

[Artur Skawina via Digitalmars-d]

On 07/30/14 23:42, Walter Bright via Digitalmars-d wrote:
> On 7/30/2014 2:34 PM, Timon Gehr wrote:
>> He understands that and notes that this contradicts the promise of @safe.
> 
> No, it does not. @safe never promises that "all your asserts are correct".
> 
> @safe's promise is one of memory safety, not a promise of program correctness.

   void f(ubyte[] a) @safe { assert(a.length>99); a[88] = a[77]; }

artur