namespace test

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