/* /nodynamiccopyright/ */

@A(y=1) // error: x missing
class D {
}