@safe D requires which DIP switches?

[Bastiaan Veelo]

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:
>> As far as I know `@safe` is only really safe with both DIP25 
>> and DIP1000 in effect, and I thought that DIP25 has been 
>> integrated for a while now. Nonetheless, DIP25 still appears 
>> in the list of previews (`dmd -preview=help`) *as well as* 
>> being revertible (`dmd -revert=help`) which adds to the 
>> confusion.
>>
>> 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)?

And does `-preview=dip25` make a difference or not? Still 
confused.

--Bastiaan.