https://gcc.gnu.org/bugzilla/show_bug.cgi?id=72682
Jonathan Wakely <redi at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Keywords| |diagnostic
--- Comment #1 from Jonathan Wakely <redi at gcc dot gnu.org> ---
Seems to be fixed on trunk:
72682.cc: In function 'int main()':
72682.cc:14:16: error: cannot call function 'void f(T) [with T = S]'
14 | int main(){ f(s); }
| ^
72682.cc:11:44: note: constraints not satisfied
11 | template<typename T> requires B<T, T> void f(T){}
| ^
72682.cc: In function 'void f(T) [with T = S]':
72682.cc:3:14: required for the satisfaction of 'A<S>'
72682.cc:5:14: required for the satisfaction of 'B<S, S>'
72682.cc:3:18: in requirements with 'S a'
72682.cc:3:35: note: the required expression '(a == a)' is invalid
3 | concept bool A = requires(T a) { a==a; };
| ~^~~
