UniquePtr in D

[Timon Gehr]

On 12/22/2013 03:19 PM, Timon Gehr wrote:
> On 12/22/2013 03:13 PM, Timon Gehr wrote:
>>>
>>> Is error 1 a bug? Because there should cleary not be any copy at this
>>> point.
>>> ...
>>
>> I don't think the conditions when a struct is moved are actually
>> documented beyond the NRVO case. I think it ideally would be a bug, but
>> this would require some kind of DIP.
>
> The main issue would probably be internal pointers in @safe code.

Scrap that, it would be disallowed to create them in @safe code anyway, 
and hence the memory corruption would be attributed to the @system code 
that created the pointer.