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

[Timon Gehr]

On 12.04.20 18:06, Dennis wrote:
> 
> 
> 1. extern(language) merely specifies ABI and mangling
> 2. a non-auto/template function can be made extern by simply replacing 
> the {body} into a ;
> 3. memory corruption can always be traced back to @system or @trusted code
> 
> Now there is actually a way to satisfy all three, and it's with @system 
> by default :)

No. 2 and 3 are mutually inconsistent.