Eloquently sums up my feelings about the disadvantages of dynamic typing

[simendsjo]

On Wednesday, 16 October 2013 at 11:36:30 UTC, Jacob Carlborg 
wrote:
> On 2013-10-16 12:52, simendsjo wrote:
>
>> If @mutable and @impure existed, I could just add some 
>> annotations at
>> the top of each module, but it wouldn't help on parameters.
>
> We need a general way to turn off attributes. This 
> "!@attribute" has been proposed before.

How would that relate to non-binary attributes like @system, 
@trusted, @safe?
Seems like it would only work on binary built-in attributes.