Suppose I need a `Map<KClass<T>, (T) -&gt...

# compiler

[Derek Berner]

Suppose I need a Map<KClass<T>, (T) -> Unit> where the value type (T) -> Unit is covariant (?) with T. e.g. map[Int::class] has type (Int) -> Unit. There's no way to do this without casting, right?

[Dominaezzz]

Pretty much (Assuming this is self-contained). Unless you extend Map and provide the constraints.

[Derek Berner]

It doesn't need to be Map - it can be a new class that doesn't extend Map.

[Dominaezzz]

Yeah it can.