FILE: Derived.kt public final class Derived : R|Some| { public constructor(): R|Derived| { super() } } FILE: Strange.kt public abstract interface Strange : R|kotlin/Any| { public abstract fun foo(): R|T| }