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.