[Dlang-internal] DIP1000 discussion and testing

[Walter Bright via Dlang-internal]

On 10/25/2016 5:59 PM, Martin Nowak wrote:
> On Tuesday, 25 October 2016 at 10:05:50 UTC, Walter Bright wrote:
>> One way of fixing it besides doing multiple passes is noting its use inside
>> dg, and setting a flag saying it cannot be made scope, and so the scoped
>> assignment becomes an error.
>
> A tristate tainting, unkown/scope/escape, should indeed work here.

I implemented it, but now the PR got thoroughly fouled up after I rebased it on 
master.