~If I have a value `t: T`, why does `t::class` ret...

# random

[Sam]

If I have a value t: T, why does t::class return KClass<out T> and not KClass<T>?

[Sam]

Surely it’s guaranteed that t::class is the exact class of t, not a superclass?

[Sam]

Curiously, t.javaClass.kotlin does give `KClass<T>`…

[Sam]

Context: https://stackoverflow.com/a/73987512/4618331

[Sam]

The comment on StackOverflow helped me get my head around it. I was assuming that T is always the exact type of t, but really T could be any supertype of the actual type.