DIP 1028---Make @safe the Default---Community Review Round 1

[Joseph Rushton Wakeling]

On Wednesday, 15 January 2020 at 02:08:18 UTC, Timon Gehr wrote:
>> It's not about what _I'm_ doing.  There are already DIPs and 
>> experimental features that extend the reach of what @safe can 
>> verify, allowing validation of memory safety for various 
>> GC-free (or rather, GC-agnostic) scenarios.
>
> Which features and DIPs are those?

DIP1000 for example.  (Yes, I know that this didn't formally get 
accepted but stuff has moved forward derived from this.)

Obviously this is not as comprehensive as e.g. Rust's borrow 
checker, but the direction of travel here seems pretty clear.