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