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()
^
