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.