So these two compile and, in non-debug builds, run just fine

[Somebody via Digitalmars-d]

On Friday, 25 November 2016 at 23:04:44 UTC, Mathias Lang wrote:
>
> You are correct that DIP1000 will fix that. However it will 
> only be
> enforced in @safe mode, sadly.

I wonder why. If @system code wanted to bypass it, it could cast 
the scoped ref into a traditional one. Wouldn't it be better if 
it emitted a warning without such cast? Not an error, for 
backwards compatibility.