Diagnostics for redundant qualifiers

[Walter Bright]

On 7/28/2021 11:54 AM, Per Nordlöw wrote:
> What about making
> 
> ```d
> @safe struct S  {
>     void f() @safe {}
> }
> ```
> 
> warn or deprecate as
> 
> ```
> Warning: redundant function attribute `@safe`
> ```
> 
> ?

The compiler will complain about:

     @safe @safe void test();

but not:

     @safe { @safe void test(); }
     @safe: @safe void bar();

This is quite deliberate. It's the same for all the attributes.

Nicholas has the right justification.