compiler/testData/codegen/box/extensionFunctions/extensionFunctionOverride.kt

interface Base {
    fun Int.foo(): String
    val Int.a : String
}

class A : Base {
    override fun Int.foo(): String {
        return "O"
    }

    override val Int.a: String
        get() = "K"
}

fun box(): String {
    with(A()){
        return 1.foo() + 1.a
    }
}