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.