namespace <root>

internal abstract trait A : jet.Any {
    internal abstract fun b(/*0*/ a: jet.Int): jet.Tuple0
}
internal abstract trait B : A {
    internal abstract override /*1*/ fun b(/*0*/ a: jet.Int): jet.Tuple0
}
internal final class C1 : A {
    public final /*constructor*/ fun <init>(): C1
    internal open override /*1*/ fun b(/*0*/ b: jet.Int): jet.Tuple0
}
internal final class C2 : B {
    public final /*constructor*/ fun <init>(): C2
    internal open override /*1*/ fun b(/*0*/ b: jet.Int): jet.Tuple0
}
