@safe D requires which DIP switches?

[Paul Backus]

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 
enabled.

You can browse the list yourself here: 
https://issues.dlang.org/buglist.cgi?quicksearch=dip1000