open annotation class A : Annotation {
  val x: String
    field = x
    get

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

  }

}

fun foo(m: Map<String, Int>) {
  @A(x = "foo/test")
  val test: Int
    val test$delegate: Lazy<Int> = lazy<Int>(initializer = local fun <anonymous>(): Int {
      return 42
    }
)
    local get(): Int {
      return test$delegate.getValue<Int>(thisRef = null, property = ::test)
    }

}