Rationale for accepting DIP 1028 as is

Bruce Carneal bcarneal at gmail.com
Tue May 26 16:10:24 UTC 2020


On Tuesday, 26 May 2020 at 15:54:31 UTC, Bastiaan Veelo wrote:
> On Tuesday, 26 May 2020 at 15:39:11 UTC, Bruce Carneal wrote:
>> On Tuesday, 26 May 2020 at 15:01:06 UTC, Bastiaan Veelo wrote:
>>
>> @safe: the compiler checks
>
> The compiler does not and cannot check inside @trusted. Whether 
> or not one requires extern(C[++]) to be behind or within 
> @trusted does not change what the compiler can or cannot check.j

Completely agree but my above says nothing about @trusted.

>
>> @safe post 1028: the compiler checks, sometimes, just not in 
>> the scary parts
>
> The amount of code that requires human auditing remains the 
> same. What matters is how to find that code, and how to 
> maintain the validity of the audits.

Another distinction: pre 1028 your compilation will error out.  
Post 1028 it will not.





More information about the Digitalmars-d-announce mailing list