fun f(j: J, x: X, j1: J1<String>) {
  val jf: KMutableProperty0<Int> = ::f
  val js: KMutableProperty0<Int> = ::s
  val xf: KMutableProperty0<Int> = ::f
  val xs: KMutableProperty0<Int> = ::s
  val xf2: KMutableProperty0<Int> = ::f2
  val xs2: KMutableProperty0<Int> = ::s2
  val j1f: KMutableProperty0<@FlexibleNullability String?> = ::f
}

