Title
Wrong deduced return type in [exec.schedule.from]
Status
new
Section
[exec.schedule.from]
Submitter
Brian Bi

Created on 2026-01-20.00:00:00 last changed 1 week ago

Messages

Date: 2026-02-15.00:00:00

[ 2026-02-27; Reflector poll. ]

Set priority to 2 after reflector poll.

Date: 2026-01-20.00:00:00

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:19adminsetmessages: + msg15982
2026-01-20 00:00:00admincreate