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

fun bar(x: Int) = x + 1

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

    fun baz() = bar(<!ARGUMENT_TYPE_MISMATCH!>x<!>)
    fun quux() = if (x != null) bar(x) else baz()
    fun quuux() = bar(if (x == null) 0 else x)
}