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