analysis/analysis-api/testData/symbols/symbolByPsi/memberProperties.kt

// DO_NOT_CHECK_NON_PSI_SYMBOL_RESTORE_K1
class A {
  val x: Int = 10
  val Int.y get() = this
}