Copy Constructor DIP

[xenon325]

 From the DIP:
> The copy constructor declaration will be recognized by the 
> parser when the tokens @, implicit, this are encountered 
> exactly in this order

Regarding "exactly in this order". The code below would be 
allowed and define copy c'tor for `A` and usual c'tor for `B` ?


     struct implicit{}

     struct A {
         @safe @implicit this(ref A) {}
     }

     struct B {
         @implicit @safe this(ref B) {}
     }