DIP 1028 "Make @safe the Default" is dead
Bruce Carneal
bcarneal at gmail.com
Sat May 30 21:29:44 UTC 2020
On Saturday, 30 May 2020 at 20:29:37 UTC, Adam D. Ruppe wrote:
> On Saturday, 30 May 2020 at 20:14:04 UTC, Steven Schveighoffer
> wrote:
>> On 5/30/20 4:02 PM, Andrei Alexandrescu wrote:
>>> module foo; @safe:
>>
>> Again, not the same. Read the full thread that you quoted
>> above.
>
> And even aside from inference, it doesn't actually work for
> most the attributes.
>
> @safe is the exception, it DOES descend into classes and
> structs. But the others don't.
>
> We should make this actually work for everything.
>
> 1) Make inferred_attr: NOT apply to template/auto functions.
> 2) Add inverse attributes for all things. (or tri-state,
> true/false/null)
> 3) Solve the child scope problem somehow consistently.
+1 This could take us a good way out of the "attribute swamp".
More information about the Digitalmars-d-announce
mailing list