// DECLARATION_TYPE: org.jetbrains.kotlin.psi.KtNamedFunction
import kotlin.contracts.*

@OptIn(ExperimentalContracts::class)
fun foo(x: Any, y: Any) {
    contract {
        returns() implies (x is Int && y is String)
    }
    if (x !is Int || y !is String) {
        throw IllegalStateException()
    }
}
