FILE: kt54990.kt public final class A|> : R|kotlin/Any| { public constructor|>(): R|A| { super() } } public final class B : R|kotlin/Any| { public constructor(): R|B| { super() } } public final class C : R|kotlin/Any| { public constructor(x: R|A>|): R|C| { super() } public final val x: R|A>| = R|/x| public get(): R|A>| } public final fun test(): R|kotlin/Unit| { lval x: R|A>| = R|/A.A||>() R|/C.C|(R|/x|) }