public abstract interface SubstitutedClassParameter : R|kotlin/Any| {
    public abstract interface Sub : R|test/SubstitutedClassParameter.Super<kotlin/String>| {
        public abstract fun foo(t: R|kotlin/String|): R|kotlin/Unit|

    }

    public abstract interface Super<T> : R|kotlin/Any| {
        public abstract fun dummy(): R|kotlin/Unit|

        public abstract fun foo(t: R|T|): R|kotlin/Unit|

    }

}
