public open class RawSuperType : R|kotlin/Any| {
    public constructor(): R|test/RawSuperType|

    public open inner class Derived : R|kotlin/Any|, R|Raw type test/RawSuperType.Super<kotlin/Any!>| {
        @R|java/lang/Override|() public open fun foo(o: R|kotlin/Any!|): R|kotlin/Unit|

        @R|java/lang/Override|() public open fun dummy(): R|kotlin/Unit|

        public test/RawSuperType.constructor(): R|test/RawSuperType.Derived|

    }
    public abstract interface Super<T : R|kotlin/Any!|> : R|kotlin/Any| {
        public abstract fun foo(t: R|ft<T & Any, T?>|): R|kotlin/Unit|

        public abstract fun dummy(): R|kotlin/Unit|

    }
}
