Recovering from DIP 1028

[Clarice]

Some have mentioned implementing additional @safe checks into 
D-scanner. I'd imagine that's a better and more realistic 
approach than creating a DMD fork since it would also allow one 
to use just LDC and GDC, and it would be easier to maintain. With 
all said, I hope it doesn't come to that; instead, options 1) or 
2) would happen.
There's also this: https://github.com/dlang/dmd/pull/11176