[Bug c++/125038] C++ concept is not checked correctly.

[max.sagebaum at scicomp dot uni-kl.de]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=125038

--- Comment #4 from Max S. <max.sagebaum at scicomp dot uni-kl.de> ---
Thanks for having such a quick look at this and sorry for missing, that the
situation changed for trunk.

I still not get why  this is not working. From 64288 I presumed that it has to
do something with the parameter pack. So I changed the example to not use
parameter packs. But the error is still the same.
(https://godbolt.org/z/E8MhzrxT5)

I also added the call of the function which works without any problems. So from
what I understand about the requires (...) clause is that this should work.

Sorry for the question here, but what am I missing, if gcc is correct here?

(The diagnostic error is the wrong line? It should report the concept in line
22 and not the static_assert in line 26?)