@safe D requires which DIP switches?

Paul Backus snarwin at gmail.com
Mon Jan 3 16:17:23 UTC 2022

On Monday, 3 January 2022 at 16:06:38 UTC, Bastiaan Veelo wrote:
> On Monday, 3 January 2022 at 15:19:22 UTC, 12345swordy wrote:
>> On Monday, 3 January 2022 at 14:27:55 UTC, Bastiaan Veelo 
>> wrote:
>>> What is in the way of integrating DIP1000 by default?
>>> -- Bastiaan.
>> Bugs, and lots of them.
>> - Alex
> But are these bugs in the rigidity of the checks, or do other 
> problems arise when DIP1000 is enabled? If it is just the 
> former, there is little reason to not switch it on by default? 
> Does it produce false negatives (requiring `@trusted` where 
> unnecessary)?

The problem is usually that the checks are too loose--they allow 
undefined behavior in `@safe` code when `-preview=dip1000` is 

You can browse the list yourself here: 

More information about the Digitalmars-d mailing list