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.