// RUN_PIPELINE_TILL: BACKEND
// See KT-10223

inline fun <T> using(input: Any?, f: (Any?) -> T): T = f(input)

val input: Any? = null

// Error:(32, 24) Type inference failed. Expected type mismatch: inferred type is kotlin.Any? but kotlin.String was expected
val test4: String = using(input) {
    when (it) {
        is String -> it
        else -> throw RuntimeException()
    }
}

/* GENERATED_FIR_TAGS: functionDeclaration, functionalType, inline, isExpression, lambdaLiteral, nullableType,
propertyDeclaration, smartcast, typeParameter, whenExpression, whenWithSubject */
