Transition to @safe by default

bachmeier no at spam.net
Tue Jul 30 15:40:34 UTC 2024


On Tuesday, 30 July 2024 at 13:44:18 UTC, jmh530 wrote:
> On Tuesday, 30 July 2024 at 05:16:40 UTC, IchorDev wrote:
>> P.S. `@unknownsafety` is SO long. Maybe it should be something 
>> like `@inferred`?
>
> More bikeshedding: @safeDefault? @safeAssume? @safeDirect?

I prefer @unverified because it's ultimately a question of 
whether it's been verified that it's safe.


More information about the dip.ideas mailing list