https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118066

--- Comment #5 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
Actually a better example:
```
template<typename T>
constexpr int constexpr_value = sizeof(T);

template<typename... Ts>
concept VariadicConcept = ((constexpr_value<Ts> > 1) && ...);

static_assert(VariadicConcept<char, int>);
```

because the fold expression could be a complex one. clang still provides a
decent message:

<source>:6:29: note: because 'constexpr_value<char> > 1' (1 > 1) evaluated to
false

Reply via email to