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

Reply via email to