public open class Annotated : R|java/lang/Object| { @R|org/jetbrains/annotations/NotNull|() public open operator function foo(@R|org/jetbrains/annotations/Nullable|() param: R|ft|?): R|ft| }