Il 20/12/23 13:27, Thiago Macieira via Std-Proposals ha scritto:
> On Tuesday, 19 December 2023 12:29:28 -03 Giuseppe D'Angelo via Std-Proposals
> wrote:
>> The Standard simply calls the second version of the concept `_with`.
> Alternatively, it could have called them "are_summable" because T and U are
> different entities.

I don't think it gives the same readability once one uses a terse
syntax, e.g.:

void f(std::equality_comparable_with<Foo> auto x)

My 2 c,

-- 
Giuseppe D'Angelo