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

[NaN]

On Sunday, 12 April 2020 at 06:42:29 UTC, Jonathan M Davis wrote:
> On Saturday, April 11, 2020 1:30:26 AM MDT Walter Bright via 
> Digitalmars-d wrote:
>> On 3/25/2020 9:57 PM, Jonathan M Davis wrote:
>>
>> 7. A function having different attributes depending on whether 
>> or not a body is present is surprising behavior
>
> I would think that having the compiler treat code that it can't 
> verify (and can't know was verified) for memory safety as @safe 
> would be far more surprising behavior.

It would be like the food safety inspectors handing out 5 star 
ratings when they turn up and find the kitchen door locked.