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