package test

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