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

Timon Gehr timon.gehr at gmx.ch
Thu Apr 9 04:31:51 UTC 2020


On 08.04.20 22:47, Steven Schveighoffer wrote:
> On 4/8/20 4:04 PM, Timon Gehr wrote:
>>
>> 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.
> 
> Strawman.
> ...

Right back at you.

> I never said that @trusted is the same as @system.

Nor did I claim you did. The snippets above differ only in who is to 
blame for the memory corruption. You claimed that's a non-essential 
detail, and that is not true, but I don't know how to make that point to 
you.


More information about the Digitalmars-d mailing list