FILE: K1.kt
    public open class KFirst<T : R|java/io/Serializable|> : R|kotlin/Any| {
        public constructor<T : R|java/io/Serializable|>(): R|KFirst<T>| {
            super<R|kotlin/Any|>()
        }

        public final fun foo(t: R|T|): R|T| {
            ^foo R|<local>/t|
        }

    }
FILE: K2.kt
    public final class K2 : R|J1| {
        public constructor(): R|K2| {
            super<R|J1|>()
        }

        public final fun bar(): R|kotlin/Unit| {
            this@R|/K2|.R|SubstitutionOverride</J1.foo: R|kotlin/Int!|>|(Int(1))
            this@R|/K2|.R|/J1.baz|()
        }

    }
