Ivan Kochurkin
9 lines
333 B
Kotlin
Vendored
9 lines
333 B
Kotlin
Vendored
// !CHECK_TYPE
|
|
// WITH_EXTENDED_CHECKERS
|
|
|
|
import <!PLATFORM_CLASS_MAPPED_TO_KOTLIN!>java.lang.Comparable<!> as Comparable
|
|
|
|
fun f(c: <!PLATFORM_CLASS_MAPPED_TO_KOTLIN!>Comparable<*><!>) {
|
|
checkSubtype<kotlin.Comparable<*>>(<!TYPE_MISMATCH!>c<!>)
|
|
checkSubtype<<!PLATFORM_CLASS_MAPPED_TO_KOTLIN!>java.lang.Comparable<*><!>>(c)
|
|
} |