compiler/testData/diagnostics/tests/nullabilityAndSmartCasts/equalityUnderNotNullCheck.kt

// RUN_PIPELINE_TILL: BACKEND
// FIR_IDENTICAL
fun test(a: Any?) {
    if (a is String) {
        a == ""
    }
}

/* GENERATED_FIR_TAGS: equalityExpression, functionDeclaration, ifExpression, isExpression, nullableType, smartcast,
stringLiteral */