Contradictory justification for status quo

[Andrei Alexandrescu via Digitalmars-d]

On 2/28/15 7:53 AM, "Marc =?UTF-8?B?U2Now7x0eiI=?= <schuetzm at gmx.net>" 
wrote:
> On Friday, 27 February 2015 at 21:19:31 UTC, Andrei Alexandrescu wrote:
>> On 2/27/15 1:07 PM, H. S. Teoh via Digitalmars-d wrote:
>>> What about this, if we're serious about @safe actually*guaranteeing*
>>> anything: after 2.067 is released, we reimplement @safe by making it
>>> reject every language construct by default.
>>
>> I don't think this is practical. It's a huge amount of work over a
>> long time.
>
> That's easy enough to solve, though.

I figure there are ways to go about it. I just don't find it practical. 
It might have been a good idea eight years ago. -- Andrei