Created on 2026-01-20.00:00:00 last changed 1 week ago
[ 2026-02-27; Reflector poll. ]
Set priority to 2 after reflector poll.
I think there's a problem in the definition of receiver-type in [exec.schedule.from] p10:
When state-type is instantiated, `operation_t` must be determined. To determine `operation_t`, we need to know the environment type for `receiver_t`, which requires instantiating the definition of `receiver_t::get_env` because of the deduced return type. That definition requires state-type to be already complete because it uses state->rcvr, so we have a circular dependency. The return type should probably be written out explicitly as FWD-ENV-T(env_of_t<Rcvr>) or something like that (except that it seems like `Rcvr` is already "out of scope" here, so I don't know how to word it exactly).| History | |||
|---|---|---|---|
| Date | User | Action | Args |
| 2026-02-27 16:05:19 | admin | set | messages: + msg15982 |
| 2026-01-20 00:00:00 | admin | create | |