Tail pad optimization, cache friendlyness and C++ interrop

[David Nadlinger via Digitalmars-d]

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.

@safe => memory safe, but not memory safe => @safe.

David