Well, I'm not proposing how the implementation is done. The proposal we've got is non-specific about implementation details.
You don't have to use 'async' on the function signature for this. As I mentioned earlier, it's enough for the compiler to discover an 'await' operator in the body of the function.