DIP 1028 "Make @safe the Default" is dead
Avrina
avrina12309412342 at gmail.com
Sun May 31 20:29:49 UTC 2020
On Sunday, 31 May 2020 at 19:15:19 UTC, Walter Bright wrote:
> On 5/30/2020 4:39 AM, Nick Treleaven wrote:
>> To preserve this, then please can we have `@safe module foo;`.
>> This would change the default on a module basis to @safe, but
>> still infer e.g. function template bodies as @system where
>> necessary. This feature would allow modules from different
>> projects, including ones written before this feature would be
>> added can coexist happily. There would be no breakage, unlike
>> DIP 1028 (which I BTW would support at a lower preference than
>> the above feature, apart from unmarked extern(C) declarations
>> being @safe).
>
> The implementation PR for DIP1028 still allowed inference for
> templates as before.
In a safe-by-default world, `@system:` doesn't.
In a system-by-default world, `@safe:` doesn't.
This has been discussed verbatim in the DIP1028 threads.
More information about the Digitalmars-d-announce
mailing list