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

  }

}

class A {
  constructor() /* primary */ {
    super/*Any*/()
    /* <init>() */

  }

  fun @Ann String.f(): String {
    return ""
  }

  val @Ann String?.p: String
    get(): String {
      return ""
    }

}

fun @Ann String?.topLevelF(): String {
  return ""
}

val @Ann String.topLevelP: String
  get(): String {
    return ""
  }
