// RUN_PIPELINE_TILL: BACKEND
fun String.foo(y: Int) = y

fun calc(x: List<String>?): Int {
    "abc".foo(x!!.size)
    // Here we should have smart cast because of x!!, despite of KT-7204 fixed
    return <!DEBUG_INFO_SMARTCAST!>x<!>.size
}

/* GENERATED_FIR_TAGS: checkNotNullCall, funWithExtensionReceiver, functionDeclaration, nullableType, smartcast,
stringLiteral */
