namespace // namespace p final class p.C : jet.Any { final /*constructor*/ fun (): p.C final fun f(): jet.Tuple0 } open class p.G : jet.Any { final /*constructor*/ fun (): p.G final fun a(): jet.Tuple0 open fun f(): T } final class p.G2 : p.G { final /*constructor*/ fun (): p.G2 final override /*1*/ fun a(): jet.Tuple0 open override /*1*/ fun f(): final fun g(): E } final fun foo(): jet.Tuple0 final fun foo(/*0*/ a: p.C): jet.Tuple0 // final class A : jet.Any { final /*constructor*/ fun (): A }