Andrey Breslav
46 lines
594 B
Kotlin
46 lines
594 B
Kotlin
// !DIAGNOSTICS: -WARNING +CAST_NEVER_SUCCEEDS
|
|
trait T1
|
|
trait T2
|
|
trait T3
|
|
open class OC1: T1
|
|
open class OC2: OC1(), T2
|
|
class FC1: OC2(), T3
|
|
trait T4: OC1
|
|
trait T5: T2
|
|
|
|
fun test<TP1: OC1, TP2: T2, TP3: OC2>(
|
|
t2: T2,
|
|
t4: T4,
|
|
fc1: FC1,
|
|
oc1: OC1,
|
|
oc2: OC2,
|
|
tp1: TP1,
|
|
tp2: TP2
|
|
) {
|
|
fc1 as FC1
|
|
fc1 as OC1
|
|
fc1 as T1
|
|
fc1 as TP1
|
|
|
|
oc1 as FC1
|
|
oc1 as OC2
|
|
oc2 as OC1
|
|
oc1 as T2
|
|
oc1 as T1
|
|
oc1 as TP1
|
|
oc1 as TP2
|
|
|
|
t2 as FC1
|
|
t2 as OC2
|
|
t4 as OC1
|
|
t2 as T2
|
|
t2 as T5
|
|
t2 as TP2
|
|
|
|
tp1 as FC1
|
|
tp1 as OC1
|
|
tp1 as OC2
|
|
tp2 as T2
|
|
tp2 as T5
|
|
tp1 as TP3
|
|
} |