https://gcc.gnu.org/bugzilla/show_bug.cgi?id=95434
--- Comment #3 from Johel Ernesto Guerrero Peña <johelegp at gmail dot com> --- Another example: https://godbolt.org/z/Wq1vjP. Perhaps, this too requires another bug report. ```C++ template <template <class> class T, class... Us> concept ctadable = requires(Us... us) { T{us...}; }; template <class T> struct X { T x; }; static_assert(ctadable<X, int>); ```
