// EXTRACTION_TARGET: property with getter
interface T {
    val i: Int
        get() = 1

    fun foo(): Int {
        return i
    }
}