https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71174
wmx16835 at 126 dot com changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |wmx16835 at 126 dot com --- Comment #4 from wmx16835 at 126 dot com --- Here's another simple demo triggers the bug: template <class T> concept bool A = requires(T t) { { t } -> A; }; template <class T> void foo() requires A<T> {} int main() { foo<int>(); }