DIP 1014

[Tremor]

On Tuesday, 2 July 2019 at 07:19:10 UTC, Nicholas Wilson wrote:
> That would go here:
>
> https://github.com/dlang/dmd/blob/master/src/dmd/id.d#L63
>

Thanks for the tips, I manage to made a patch: 
https://paste.ofcode.org/xGnhS2KcXvtmENwyRPQXua

The rest hard work is made the code to be call from 
https://github.com/dlang/dmd/blob/b359735d1034c77aa5b59dff9a8b815fb3eb14c9/src/dmd/expression.d#L468 or  src/dmd/dinterpret.d (I need help here).


On Tuesday, 2 July 2019 at 07:48:06 UTC, RazvanN wrote:
> After implementing the copy constructor as a substitute for the 
> postblit, we realized that the fundamental flaw that the 
> postblit had (automatic copying) would also manifest in the 
> case of opPostMove; in Shachars' there is no mention what 
> happens when the source and destination are differently 
> qualified. I suspect that before implementing the DIP we need 
> to sort this out and it might be preferable to imlement a move 
> constructor a la C++ rather then rely on automatic moving.


Correct me if I am wrong.  I think the opPostMove should always 
use for the same qualified type.  for example if a function 
return a shared(struct), then the opPostMove  also accept 
shared(struct) from a shared(struct) instance.


Please feel free to use this patch 
https://paste.ofcode.org/xGnhS2KcXvtmENwyRPQXua to made PR and 
start the work.  I can made the PR but I am afraid this is all I 
can do for this task(I will try, but I can not understand any of 
dinterpret.d/expression.d).