Skip to content

on(sch,sndr) should specify its attributes #341

Open
@ericniebler

Description

@ericniebler

on(sch,sndr) returns make-sender(on, sch, sndr), which means that the on sender has one child. [exec.adapt.general] says:

A parent sender with a single child sender sndr has an associated attribute object equal to FWD-ENV(get_env(sndr)).

however, on(sch,sndr) does not know where it will be started or where it will complete. it would be wrong for the on(sch,sndr) sender to have sndr's completion schedulers or domains.

on must define impls-for<on_t>::get-attrs to return FWD-ENV(get_env(sndr)) except without the following queries:

  • get_completion_scheduler_t<Tag> for any completion tag Tag,
  • get_domain_t, or
  • get_domain_override_t.

Metadata

Metadata

Assignees

No one assigned

    Labels

    P0bugSomething isn't workingneeds-proposed-resolutionThis issue does not yet have a proposed resolution but needs one

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions