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