package test

public trait TypeParamOfFun : java.lang.Object {
    
    public trait Sub : test.TypeParamOfFun.Super {
        public abstract override /*1*/ fun </*0*/ E> foo() : E
    }
    
    public trait Super : java.lang.Object {
        public abstract fun </*0*/ T> foo() : T
    }
}
