Preventing another 1028

[Johannes Loher]

On Thursday, 28 May 2020 at 11:31:35 UTC, Les De Ridder wrote:
> On Thursday, 28 May 2020 at 11:13:07 UTC, Johannes Loher wrote:
> ...
>>> 
>>> Not exactly proof, but:
>>> https://www.strawpoll.me/20184671/r
>>> 
>>> (The "@safe" option is what's proposed in DIP 1028.)
>>
>> I'm really missing a third option in that poll: The default 
>> for all declarations should be @safe, but extern(not-D) @safe 
>> declarations should be a compile error, regardless of if @safe 
>> is explicit or implicit. That forces an explicit decision 
>> between @system and @trusted for every extern(non-D) 
>> declaration.
>
> The OP of the poll said: "People that think it should be 
> @trusted, vote
> @safe, it's pretty much the same thing." ...

It is absolutely not. It is a completely different thing. I'm 
saying that if you don't annotate extern(non-D) explicitly with 
@system or @trusted, it should be a compile error. That means, 
there is no „default“ at all.