namespace <root>

internal abstract trait C : jet.Any {
    internal abstract fun foo(/*0*/ a: jet.Int): jet.Tuple0
}
internal abstract trait D : jet.Any {
    internal abstract fun foo(/*0*/ b: jet.Int): jet.Tuple0
}
internal abstract trait E : C, D {
    internal abstract override /*2*/ fun foo(/*0*/ a: jet.Int): jet.Tuple0
}
internal abstract trait F : C, D {
    internal open override /*2*/ fun foo(/*0*/ a: jet.Int): jet.Tuple0
}
