public open class Annotated : R|kotlin/Any| {
    @R|org/jetbrains/annotations/NotNull|() public open operator fun foo(@R|org/jetbrains/annotations/Nullable|() param: R|kotlin/String|?): R|kotlin/String|

}
public open class AnnotatedDerived : R|Annotated| {
    public open operator fun foo(param: R|kotlin/String|?): R|kotlin/String|

}