[Dlang-internal] DIP1000 discussion and testing

[Martin Nowak via Dlang-internal]

On Friday, 21 October 2016 at 06:04:41 UTC, Walter Bright wrote:
> 3. The design utterly relies on a 'ref' value not being 
> returned as a '*'. Any attempts to circumvent this will lose 
> the checking. The rationale for this is a dramatic 
> simplification of the design.

DIP1000 mentions that disallowing &var in @safe code is overly 
restrictive. This got me fairly confused, please help to clarify 
https://github.com/dlang/DIPs/blob/731255ed7dc37d596fec0552013f0e12c68f7bea/DIPs/DIP1000.md#escaping-via-return or my understanding of it.