namespace <root>

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