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.
