[Dlang-internal] DIP1000 discussion and testing

[Martin Nowak via Dlang-internal]

On Friday, 21 October 2016 at 10:11:28 UTC, Martin Nowak wrote:
> It seems that the aliasing detect wouldn't be too hard to 
> implememt (even implementable as druntime template similar to 
> std.traits.hasAliasing). Am I right that conservatively 
> detecting the aliasing would allow a slightly limited subset of 
> @safe RC usage?
> If so going w/ @trusted RC.opAssign and the aliasing detection 
> seems like a good milestone for 2.073.

Nice side effect of 
http://forum.dlang.org/post/fzawzedvokbvhmdspxsh@forum.dlang.org, 
it's now clear that a good (not too conservative) aliasing 
detection is also needed for the lifetime of function return 
values. So we can reuse that for detecting the dangling ref 
problem.