namespace test final annotation class test.Aaa : jet.Any { final /*constructor*/ fun (): test.Aaa } open class test.HasAnnotatedMethod : java.lang.Object { final /*constructor*/ fun (): test.HasAnnotatedMethod open test.Aaa() fun f(): jet.Tuple0 }