https://gcc.gnu.org/bugzilla/show_bug.cgi?id=93207
Bug ID: 93207 Summary: [concepts] Variadic concepts refuse no compile when function definition is not inline Product: gcc Version: 10.0 Status: UNCONFIRMED Severity: normal Priority: P3 Component: c++ Assignee: unassigned at gcc dot gnu.org Reporter: lyberta at lyberta dot net Target Milestone: --- template <typename... Args> concept C = true; struct S { template <typename... Args> void f() requires C<Args...>; }; template <typename... Args> void S::f() requires C<Args...> { } error: no declaration matches 'void S::f() requires C<Args ...>' void S::f() ^ note: candidate is: 'template<class ... Args> void S::f() requires C<Args ...>' void f() ^