@safe D requires which DIP switches?

[Atila Neves]

On Tuesday, 4 January 2022 at 11:57:41 UTC, Dennis wrote:
> On Monday, 3 January 2022 at 16:06:38 UTC, Bastiaan Veelo wrote:
>> But are these bugs in the rigidity of the checks, or do other 
>> problems arise when DIP1000 is enabled?
>
> I'm trying to turn dip1000's 💀 into an 🆗, but Walter wants to 
> go straight to a ✅:
> https://github.com/dlang/dmd/pull/13362#issuecomment-981181277
>
> On top of this, dip1000 currently has a few more 💀s because:
>
> - parameters of `pure` functions can be incorrectly inferred 
> `scope`, even when you can escape them with a thrown Exception. 
> The fix is easy, but it requires updating Phobos and excel-d to 
> pass the test suite, which is cumbersome.
> https://issues.dlang.org/show_bug.cgi?id=22221

I talked to Walter about this and I don't think it's the correct 
fix. I've been looking at how to do it otherwise.