@safe(bool)

[bitwise via Digitalmars-d]

On Friday, 18 August 2017 at 18:15:33 UTC, Timon Gehr wrote:
> [...]
>
> alias naughty = AliasSeq!(impure,system,throws,gc);
> alias nice = AliasSeq!(pure,safe,nothrow,nogc);
>
> @nice void foo();
> @naughty void bar();

We have to consider the potential for abuse.

For example, D's templates are great - but it doesn't mean that 
if you're making a math library, that you should template your 
matrix class on it's dimensions, just to fill it with static if's 
because half of the functionality only applies to a single 
dimension. Especially when you typically need 2-3 different 
versions at most(mat2, mat3, mat4). People do it though.

If things did turn out to be as simple as the example you posted, 
then I could see it being a useful way to hide some of D's 
painful attribute bloat, but I've got a feeling we'd start seeing 
things like "nice", "nicer", "nicest", 
"niceInDebugModeButNotReleaseModeUnlessAssertsAreEnabled", 
etc.....