namespace <root>

internal abstract trait Bar : jet.Any {
    internal abstract fun foo(): jet.Tuple0
}
internal final class Baz : Foo, Bar {
    public final /*constructor*/ fun <init>(): Baz
    internal abstract override /*2*/ fun foo(): jet.Tuple0
}
internal abstract trait Foo : jet.Any {
    internal abstract fun foo(): jet.Tuple0
}
