// FILE: common.kt

open annotation class Ann : Annotation {
  val s: Array<out String>
    field = s
    get

  constructor(vararg s: String) /* primary */ {
    super/*Any*/()
    /* <init>() */

  }

}

@Ann(s = ["foo", "bar"])
class C {
}

@Ann(s = ["foo", "bar"])
fun foo() {
}

// FILE: platform.kt

fun main() {
}
