fun @ReceiverTypeAnnotation kotlin.Int.foo()