Vladimir Sukharev
30 lines
573 B
Kotlin
Vendored
30 lines
573 B
Kotlin
Vendored
fun test1(a: Any?): Any {
|
|
return CHECK_NOT_NULL<Any>(arg0 = a)
|
|
}
|
|
|
|
fun test2(a: Any?): Int {
|
|
return CHECK_NOT_NULL<Int>(arg0 = { // BLOCK
|
|
val tmp_0: Any? = a
|
|
when {
|
|
EQEQ(arg0 = tmp_0, arg1 = null) -> null
|
|
else -> tmp_0.hashCode()
|
|
}
|
|
})
|
|
}
|
|
|
|
fun <X : Any?> test3(a: X): (X & Any) {
|
|
return CHECK_NOT_NULL<X>(arg0 = a)
|
|
}
|
|
|
|
fun useString(s: String) {
|
|
}
|
|
|
|
fun <X : Any?> test4(a: X) {
|
|
when {
|
|
a is String? -> CHECK_NOT_NULL<X>(arg0 = a) /*~> Unit */
|
|
}
|
|
when {
|
|
a is String? -> useString(s = CHECK_NOT_NULL<X>(arg0 = a) /*as String */)
|
|
}
|
|
}
|