package test

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