FILE: simpleFakeOverride.kt public open class A : R|kotlin/Any| { public constructor(): R|A| { super() } public final fun foo(t: R|T|): R|T| { ^foo R|/t| } } public final class Some : R|kotlin/Any| { public constructor(): R|Some| { super() } } public final class B : R|A| { public constructor(): R|B| { super|>() } public final fun test(): R|kotlin/Unit| { this@R|/B|.R|SubstitutionOverride|(R|/Some.Some|()) } }