compiler/testData/diagnostics/tests/dataFlowInfoTraversal/ThisSuper.fir.kt

open class Base {
    fun bar(x: Int): Int = x + 1
}

class Derived : Base() {
    fun baz(x: Int): Int = x + 1

    fun foo() {
        val x: Int? = null

        super.bar(<!ARGUMENT_TYPE_MISMATCH!>x<!>)
        this.baz(<!ARGUMENT_TYPE_MISMATCH!>x<!>)
        if (x == null) return
        super.bar(x)
        this.baz(x)

        val y: Int? = null
        if (y != null) super.bar(this.baz(y))
        else this.baz(super.bar(<!ARGUMENT_TYPE_MISMATCH!>y<!>))
    }
}