DIP 1028 "Make @safe the Default" is dead

Jacob Shtokolov jacob.100205 at gmail.com
Wed Jun 10 00:05:43 UTC 2020


On Saturday, 30 May 2020 at 20:29:37 UTC, Adam D. Ruppe wrote:
> 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. Would be great to see the possibility to apply other built-in 
attributes on a module basis, like `@nogc module test;` or 
`@trusted module test` etc. It seems very natural to expect this 
feature to work in that way. The only problem is what to do with 
UDAs, but probably they also should be applied to everything in 
the same manner.


More information about the Digitalmars-d-announce mailing list