C++ Logo

std-proposals

Advanced search

Re: [std-proposals] P4174R0 Named, composable type sets for concept constraints

From: Barry Revzin <barry.revzin_at_[hidden]>
Date: Fri, 3 Apr 2026 22:42:34 +0100
On Fri, Apr 3, 2026 at 1:49 PM Emanuel Spiridon via Std-Proposals <
std-proposals_at_[hidden]> wrote:

> I submitted the paper regarding this proposal, which can be read here:
> https://isocpp.org/files/papers/P4174R0.pdf
>
> I submitted it in time for the June 8th through 13th meetings in Brno, the
> last concern I have is that I can't go to Brno in person, and I also don't
> know anyone that can go in my place, while also understanding the concept
> of this proposal and its flaws.
>
> However, if someone on the mailing list is familiar with the core concept
> of the paper, is able to travel to Brno and attend the meeting, and could
> possibly have more questions about the proposal, then please contact me.
>

I don't understand what's being proposed here.

The paper is proposing three additions:


   - type_tag_list, which is not mentioned anywhere else
   - merge_tags_and_types_t, which is used in two places but not explained,
   and
   - tag_contains, which is not mentioned anywhere else either.


Can you clarify what specifically you are proposing?

Barry

Received on 2026-04-03 21:42:48