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