A modern programming language that makes developers happier.

kotlinlang

anyone who would be able to help ?
I think I have lost type safety using inline function with reified type, but not sure why

having following code
```import kotlin.reflect.KClass

interface NavArgs
interface LifecycleComponent
interface NavToken&lt;T : NavArgs&gt;

class NavRecord&lt;T : NavArgs, LC : LifecycleComponent&gt;(
    val navToken: NavToken&lt;T&gt;,
    val klass: KClass&lt;out LC&gt;,
    val content: (LC) -&gt; Unit
) {
    fun execute(lc: LC) {
        content(lc)
    }
}

inline fun &lt;reified LC : LifecycleComponent, T : NavArgs&gt; screen(
    navToken: NavToken&lt;T&gt;,
    noinline content: (LC) -&gt; Unit
): NavRecord&lt;T, LC&gt; = NavRecord(navToken, LC::class, content)

class MyLifecycleComponent/* : LifecycleComponent */
object Stats : NavToken&lt;NavArgs&gt;

fun main() {
    val record = screen(Stats) { component: MyLifecycleComponent -&gt;
        //why is this working ^^
    }
    
    //this is correctly failing because of types
    NavRecord(Stats, MyLifecycleComponent::class, { lc: MyLifecycleComponent -&gt; })
    record.execute(MyLifecycleComponent())
}```

image.png

but not sure why the `screen(...)` isn't compiler error

The type of Stats is NavToken&lt;NavArgs&gt;. Screen wants a NavToken&lt;T&gt;, where T is a subclass of NavArgs. This is valid.

That's imo unrelated
```class MyLifecycleComponent : LifecycleComponent ```
having ^ type as expected just compiles fine

but for some reason, using
```val record = screen(Stats) { component: MyLifecycleComponent -&gt;
        //why is this working ^^
}```
just doesn't care if `MyLifecycleComponent` is NOT `LifecycleComponent`

Same thing with the function taking in a subclass of LifecycleComponent. It says it needs LC where LC is a subclass of LifecycleCompenent. MyLifecycleComponent is a valid subclass of LifecycleComponent.

I'd like to see also
```val record = screen(Stats) { component: MyLifecycleComponent -&gt; }```
^ to be a compiler issue as `MyLifecycleComponent` is NOT `LifecycleComponent`