open annotation class Ann : Annotation {
  constructor() /* primary */ {
    super/*Any*/()
    /* <init>() */

  }

}

class Test {
  val x: Int
    field = x
    get

  constructor(@Ann x: Int) /* primary */ {
    super/*Any*/()
    /* <init>() */

  }

}