Why does this produce a warning: ```open class Sup...

# getting-started

[JP Sugarbroad]

Why does this produce a warning:

open class Super

class Container<T: Super>

fun test(thing: Any) {
    if (thing is Container<*>) {
        val thing2 = thing as Container<Super>
    }
}

But this does not?

open class Super

class Container<T: Super>

fun test(thing: Any) {
    if (thing is Container<out Super>) {
        val thing2 = thing as Container<Super>
    }
}

Shouldn't * be equivalent to out Super in this case?

[loke]

I'm more surprised that the second doesn't show a warning. You're doing is on an erased type.

[loke]

Ah, it's because you are checking for exactly the toplevel type for Container.

[JP Sugarbroad]

Seems like a soundness hole to me.