On 5/29/2020 2:07 AM, Timon Gehr wrote:
It would be great if `@safe:` did not affect declarations that would otherwise
infer annotations.
The idea is the simple, general rule that:
attribute declaration;
attribute { declaration; }
attribute: declaration;
behave the same way.
C++ is full of special cases which nobody remembers until they bite.
Having a simple, general rule with maybe a less favorable effect here and there
is preferable to a complex set of special cases that try to do the optimal thing
in each case.
