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

[Timon Gehr]

On 08.04.20 21:53, Steven Schveighoffer wrote:
> On 4/8/20 3:44 PM, Timon Gehr wrote:
>> On 08.04.20 21:37, Steven Schveighoffer wrote:
>>> No difference. Same result.
>>>
>>
>> This is a waste of time.
> 
> That is something we can agree on.
> 
> -Steve

I'll explain why I think it's the case: If your opinion is truly that 
the following two code snippets are equivalent, we have reached an 
irreducible position:

---
void corrupt_memory()@trusted{ ... }

void main()@safe{
     corrupt_memory();
}
---
---
void corrupt_memory()@system{ ... }

void main()@system{
     corrupt_memory();
}
---

Anyone who thinks those two code snippets are essentially the same can 
safely ignore my line of argumentation, but everyone else should dismiss 
yours.