fun @ReceiverAnnotation @ReceiverTypeAnnotation kotlin.Int.foo()