Open
Description
The paper P2830 states that one of the motivations for adding type-ordering was to help libraries like sender/receiver proposed in P2300.
It looks like this facility is on track to make it in to C++26, so we should figure out exactly where we want to apply this facility in the specification of sender/receiver and write a paper to do so before we ship sender/receiver in a published standard.
e.g. maybe we require that completion_signatures
is instantiated with types listed in ascending order as given by std::type_order_v
.
Are there any other places we can/want to make use of this facility?
CC: @ericniebler @atomgalaxy