[PATCH] D117087: [C++20] [Coroutines] Implement return value optimization for get_return_object

Mon Jan 30 18:54:17 PST 2023

ChuanqiXu added a comment.

In D117087#4082454 <https://reviews.llvm.org/D117087#4082454>, @alkis wrote:

> Does this change the semantics of `get_return_value()` such that it is eagerly converted to R the return value of the coro? AFAIU before this change one could return T convertible to R and the conversion would happen late - after `final_suspend`.

Yes, this changed the semantics. But the spec is ambiguous for this. Wg21 is tracking this in https://cplusplus.github.io/CWG/issues/2563.html.

Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D117087/new/

https://reviews.llvm.org/D117087