[Dlang-internal] DIP1000 discussion and testing

[Walter Bright via Dlang-internal]

On 11/23/2016 7:32 AM, Marc Schütz wrote:
> On Tuesday, 22 November 2016 at 14:09:49 UTC, Martin Nowak wrote:
>> similarly to how &ary[$] is now possible
>
> Huh? How could this be @safe? Does the resulting pointer somehow become
> "tainted" to avoid dereferencing it?

It's only allowed if it is the operand of a comparison operation.