DIP1028 - Rationale for accepting as is

[Juraj Mojzis]

On Sunday, 24 May 2020 at 10:40:11 UTC, Johannes Loher wrote:
> 2. Make @safe the default for _all_ declarations but still make 
> @safe on declarations without code a compile error (because the 
> compiler cannot verify it). This means that annotating function 
> declarations without code with @system or @trusted is now 
> mandatory. This is what Timon has been arguing for if I 
> understood him correctly.

If this DIP is going to be implemented "as is", this should be 
added in the future.
It could also be a warning, but that is not something that D 
often does.
With this addition, not having a special case for extern(), is a 
positive.