namespace test

public abstract trait test.TwoSuperclassesInvariantAndCovariantInferMutability : java.lang.Object {
    public abstract trait test.TwoSuperclassesInvariantAndCovariantInferMutability.Sub : test.TwoSuperclassesInvariantAndCovariantInferMutability.Super1, test.TwoSuperclassesInvariantAndCovariantInferMutability.Super2 {
        public abstract override /*2*/ fun foo(): jet.MutableList<jet.MutableList<jet.String>>
    }
    public abstract trait test.TwoSuperclassesInvariantAndCovariantInferMutability.Super1 : java.lang.Object {
        public abstract fun foo(): jet.List<jet.List<jet.String>>
    }
    public abstract trait test.TwoSuperclassesInvariantAndCovariantInferMutability.Super2 : java.lang.Object {
        public abstract fun foo(): jet.MutableList<jet.MutableList<jet.String>>
    }
}
