Transition to @safe by default

Richard (Rikki) Andrew Cattermole richard at cattermole.co.nz
Mon Jul 29 20:49:58 UTC 2024


I've changed my mind on disallowing ``@unknownsafety`` on functions.

If we allow it, extend this DIP over to ``@nogc`` and ``pure`` we could 
get a limited form of contract invalidation for ``opApply``.

``nothrow`` of course is covered by needing to introduce the throws set 
for value type exceptions.

So I'm liking this direction.


More information about the dip.ideas mailing list