Yeah, that's true. Obviously it would be better to have reasync as a proper language construct, but it's amazing how much macros can do already. You could definitely write a usable Reasync macro right now, that just gives out some misleading diagnostics in some contrived cases.