compiler/testData/codegen/box/casts/notIs.kt

// TARGET_BACKEND: JVM

fun foo(x: Any) = x !is Runnable

fun box(): String {
	val r = object : Runnable {
		override fun run() {}
	}
	return if (!foo(r) && foo(42)) "OK" else "Fail"
}