compiler/testData/codegen/box/strictEquals/simple.kt

// LANGUAGE: +StrictEquals

open class X {
    open val x: CharSequence = "F"
}

class A(override val x: String) : X() {
    override fun equals(@EqualityBound(A::class) other: Any?): Boolean = x == other.x
}

fun foo(): Any = A("O")

fun box(): String {
    val a = foo()
    return (if (A("O") == a) a.x else "") + (if (A("F") != X()) "K" else "")
}