https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103760
danakj at orodu dot net changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |danakj at orodu dot net --- Comment #7 from danakj at orodu dot net --- MSVC and Clang both accept this code, which GCC rejects. Is it the same issue and GCC is compliant here? ``` #include <concepts> template <class T> concept C = requires() { { [](T t) constexpr { t.foo(1); }() }; }; void bad_call(const char*); struct Foo { consteval void foo(int i) { if (i > 0) { bad_call("positive_value"); } } }; static_assert(!C<Foo>); ``` https://godbolt.org/z/bdrPve4rT