DIP 1028 "Make @safe the Default" is dead

Paul Backus snarwin at gmail.com
Sat May 30 16:27:50 UTC 2020


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:`.


More information about the Digitalmars-d-announce mailing list