public open class A : R|kotlin/Any| { public open operator fun foo(t: R|ft|!): R|ft|! }