package test

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