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.