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

Reply via email to