```abstract class Base {} class Sub : Base() {} a...

# getting-started

[Ray Rahke]

abstract class Base {}
class Sub : Base() {}

abstract class Foo {
    abstract val x: KClass<Base>
}
class Bar: Foo {
    override val x: KClass<Base> = Sub::class
/*
    Type mismatch.
    Required: KClass<Base>
    Found: KClass<Sub>
 */
}

How to fix?

[Youssef Shoaib [MOD]]

Change it to KClass<out Base>

[Ray Rahke]

what does out mean?

[Ray Rahke]

also is there a way for me to create an alias to not have to type KClass<out Base> all the time

[Ray Rahke]

can I do like

type Cls<T> = KClass<out T>

[Youssef Shoaib [MOD]]

Yeah you can do that with typealias. The issue here btw is that KClass is invariant, but you want to use it similar to how a list is used, as in that it should "output" things of type Base , hence the out projected type