DIP 1028 "Make @safe the Default" is dead

[Paul Backus]

On Saturday, 30 May 2020 at 16:17:49 UTC, Steven Schveighoffer 
wrote:
>
> +1 this would be perfect.
>
> Not sure if this would work either, but both of these are 
> already reserved words:
>
> default @safe:
>
> -Steve

It would probably have to be something more like 
`default(@safe)`, since `default @safe:` ought to mean the same 
thing (in principle) as `default: @safe:`.