Discussion Thread: DIP 1028--Make @safe the Default--Final Review

[Steven Schveighoffer]

On 4/5/20 5:12 AM, Walter Bright wrote:
> On 4/4/2020 1:09 AM, Jonathan M Davis wrote:
>> Anything else would go against what @safe is supposed to be promising.
> 
> Extern declarations are the USER making promises. Even with extern (D), 
> the return type isn't mangled into the name. The User has to get it right.

But the user DID make a correct promise. Today, they promised "here's a 
C function, and it's @system". Changing the language to mean the 
opposite of what it means today is not the user breaking the promise, 
it's the compiler moving the goalposts.

-Steve