@file:A(...)
package test

@Target(...)
annotation class A : Annotation {
  constructor(x: String) /* primary */ 
  val x: String
    field = x
    get




}

