The future of @safe by default [was Re: dip1000 ...]

[Martin B]

On Tuesday, 14 June 2022 at 01:55:01 UTC, Mike Parker wrote:
> ```d
> module foo default @safe nothrow;
> ```
>
> The `default` must follow the module name, and the attributes 
> must follow the `default`. Having a single pattern for it 
> increases readability. You don't have to scan the line to pick 
> out the module name since it's always second, and the `default` 
> visually marks the beginning of the attribute list.

Yes, please!