Dmitry Jemerov
19 lines
364 B
Kotlin
19 lines
364 B
Kotlin
// !CHECK_TYPE
|
|
|
|
interface A
|
|
|
|
interface B : A
|
|
fun B.plus(b: B) = if (this == b) b else this
|
|
|
|
fun foo(a: A): B {
|
|
val result = (a as B) + <!DEBUG_INFO_SMARTCAST!>a<!>
|
|
checkSubtype<B>(<!DEBUG_INFO_SMARTCAST!>a<!>)
|
|
return result
|
|
}
|
|
|
|
fun bar(a: A, b: B): B {
|
|
val result = b + (a as B)
|
|
checkSubtype<B>(<!DEBUG_INFO_SMARTCAST!>a<!>)
|
|
return result
|
|
}
|