package test

public trait AddNullabilityJavaSubtype {

    public trait Sub : test.AddNullabilityJavaSubtype.Super {
        public abstract override /*1*/ /*fake_override*/ fun dummy(): kotlin.Unit
        public abstract override /*1*/ fun foo(): kotlin.String
    }

    public trait Super {
        public abstract fun dummy(): kotlin.Unit
        public abstract fun foo(): kotlin.CharSequence
    }
}