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) {}
}
