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