FILE: K1.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|/KFirst.foo|()
            this@R|/K2|.R|/J1.baz|()
            this@R|/K2|.R|/SuperClass.superClass|()
            this@R|/K2|.R|/SuperI.superI|()
        }

    }
FILE: K2.kt
    public open class KFirst : R|SuperClass|, R|SuperI| {
        public constructor(): R|KFirst| {
            super<R|SuperClass|>()
        }

        public final fun foo(): R|kotlin/Unit| {
        }

    }
FILE: K3.kt
    public abstract class SuperClass : R|kotlin/Any| {
        public constructor(): R|SuperClass| {
            super<R|kotlin/Any|>()
        }

        public final fun superClass(): R|kotlin/Unit| {
        }

    }
    public abstract interface SuperI : R|kotlin/Any| {
        public open fun superI(): R|kotlin/Unit| {
        }

    }
