On 6/15/2014 12:44 AM, David Nadlinger wrote:
On Wednesday, 11 June 2014 at 16:50:30 UTC, Walter Bright wrote:On 6/11/2014 4:34 AM, Timon Gehr wrote:Not memory safe implies (is supposed to imply) not @safe but not @safe does not imply not memory safe.@safe in D == memory safe.What Timon is saying is that not all memory safe code is verifiably @safe.
In D, they are defined to be the same thing, so the statement makes no sense.
@safe => memory safe, but not memory safe => @safe. David
