Mikhail Glukhikh
28 lines
733 B
Kotlin
Vendored
28 lines
733 B
Kotlin
Vendored
// IGNORE_BACKEND: JVM
|
|
// IGNORE_BACKEND_FIR: JVM_IR
|
|
// FIR status: UPPER_BOUND_VIOLATED at Service<out T>
|
|
|
|
inline fun <
|
|
reified TService : Service<TService, TEvent>,
|
|
reified TEvent : Event<TService>> event(
|
|
noinline handler: suspend (TEvent) -> Unit
|
|
) {
|
|
val serviceKlass = TService::class
|
|
val eventKlass = TEvent::class
|
|
}
|
|
|
|
interface Service<
|
|
Self : Service<Self, TEvent>,
|
|
in TEvent : Event<Self>
|
|
>
|
|
|
|
interface Event<out T : Service<out T, *>>
|
|
|
|
class SomeService : Service<SomeService, SomeService.SomeEvent> {
|
|
class SomeEvent : Event<SomeService>
|
|
}
|
|
|
|
fun box(): String {
|
|
event { someEvent: SomeService.SomeEvent -> } // REIFIED_TYPE_FORBIDDEN_SUBSTITUTION
|
|
return "OK"
|
|
} |