namespace <root>

internal abstract trait X : jet.Any {
    internal abstract fun foo(/*0*/ a: jet.Int = ?): jet.Tuple0
}
internal abstract trait Y : jet.Any {
    internal abstract fun foo(/*0*/ a: jet.Int = ?): jet.Tuple0
}
internal final class Z1 : X, Y {
    public final /*constructor*/ fun <init>(): Z1
    internal abstract override /*2*/ fun foo(/*0*/ a: jet.Int = ?): jet.Tuple0
}
internal final val Z1O: Z1O
