The docs are light on details, but the compiler should figure out that red is async, and it does if you call it, but not if you take a pointer. I would describe

The docs are light on details, but the compiler should figure out that red is async, and it does if you call it, but not if you take a pointer. I would describe this as a defect! We don't actually disagree about any facts though, just labels.