@safe by default

Timon Gehr timon.gehr at gmx.ch
Thu Jun 6 17:01:05 UTC 2024


On 6/3/24 17:55, Atila Neves wrote:
>> - There is not really any value in being able to write `@safe 
>> extern(C)/extern(C++)` prototypes. It's wrong and any linter would 
>> need to have a warning for it. I would just require an explicit 
>> `@system` or `@trusted` annotation. Note that for 
>> `extern(C)/extern(C++)` prototypes, `@safe` and `@trusted` have _the 
>> same semantics and interpretation_, but only one of them looks 
>> adequately dangerous and is easy to grep.
> 
> I get this, but the issue is that those functions might actually be 
> written in D.

Why is this an issue?


More information about the dip.ideas mailing list