certain non-decomposable senders caus a compilation error

Open

#252 opened on Apr 11, 2026 2 comments 0 reactions 0 assignees View on GitHub

Nobody has claimed this yet.

Assessment

Difficulty: 4/5
Estimated time: 3-5 days
Newbie friendliness: 48/100

Issue type: Bug
Clarity: Mostly clear
Activity status: Quiet
Tech stack: cpp
Domain: compilers

Research direction

Reproduce the compilation error from the example using beman/execution/execution.hpp and ex::get_completion_signatures. Inspect ex::tag_of_t and the basic_sender detection path to understand why the two-argument non_decomposable_sender is treated as decomposable. Done means the example compiles without removing a constructor parameter, with coverage for this regression.

Written by the indexing model from the issue text.

Description

The following code results in a compilation error:

#include <beman/execution/execution.hpp>
namespace ex = beman::execution;

namespace {
    struct non_decomposable_sender {
        using sender_concept = ex::sender_t;
        template <typename...>
        static consteval auto get_completion_signatures() { return test_std::completion_signatures<ex::set_value_t()>(); }
        non_decomposable_sender(int, int) {}
    };
}

int main() {
    (void)ex::get_completion_signatures<non_decomposible_sender, ex::env<>>();
}

Removing one of the int constructor parameters causes the code to compile!

The issue is that sender is used with ex::tag_of_t which tries to guess whether a type is decomposable. If it think it can decompose objects of a type it will extract a tag. However, the above type can't be decomposed.

Currently, I don't know how to properly fix the problem. The tentative plan is to rather detect if a sender is built using basic_sender (probably indirectly by actually detecting a nested type) and only try to decompose such senders.

Dominant language: C++
Stars: 150
Forks: 23
Avg merge: 3d 5h
Merged PRs (30d): 9

Contributor guide

Open the contributing guide

First steps

Read the whole issue, then the project's contributing guide.
Comment on the issue to say you are picking it up — it saves two people doing the same work.
Fork the repository and make your change on a branch.
Open a pull request that references the issue number.

Similar issues

Use 4:4:4 for multichannel AVIF and HEIF gain maps Open

Difficulty 2/5 1-3 hours Newbie friendliness 70/100

google/libultrahdr#485 · Opened Sep 24, 2026
Missing tile warnings in TileMap dock display with wrong texture filter Open

Difficulty 2/5 1-3 hours Newbie friendliness 75/100

godotengine/godot#123776 · Opened Sep 23, 2026
if(cond,a,b) treats any nonzero cond as true in every bngsim backend (ExprTk interpreter, C codegen, SSA), which contradicts docs/reference/expressions.md ('true when > 0.5') and BNG's run_network. A non-boolean condition in (-inf,0) or... Open

bug

Difficulty 1/5 Under an hour Newbie friendliness 60/100

lanl/bngsim#774 · Opened Sep 23, 2026
Delete ament_export_include_directories() and ament_export_libraries() calls Open

good first issue

Difficulty 1/5 Under an hour Newbie friendliness 90/100

ros2/rosbag2#2509 · Opened Sep 23, 2026
Delete ament_export_include_directories() and ament_export_libraries() calls Open

good first issue

Difficulty 2/5 1-3 hours Newbie friendliness 75/100

ros2/common_interfaces#344 · Opened Sep 23, 2026

More C++ issues