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

--- Comment #4 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
A better example is:
```
template<typename T>
concept FalsyConcept = requires { requires sizeof(T) > 1; };

template<typename... Ts>
concept VariadicConcept = (!FalsyConcept<Ts> && ...);

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

>From clang output:
<source>:6:28: note: because '!FalsyConcept<int>' evaluated to false

Reply via email to