public open class A : R|java/lang/Object| { public open operator fun foo(t: R|ft|!): R|ft|! }