checkedint call removal

[Timon Gehr via Digitalmars-d]

On 07/30/2014 11:28 PM, Walter Bright wrote:
> On 7/30/2014 1:56 PM, David Bregman wrote:
>> Can you please address the fact that assume is not @safe?
>> How do you propose to
>> preserve memory safety in release mode if you remove runtime checks
>> for asserts
>> but still assume the condition for codegen?
>
> D's @safe feature is not semantically tied to D's assert expressions.

He understands that and notes that this contradicts the promise of @safe.