mirror of
git://gcc.gnu.org/git/gcc.git
synced 2025-04-06 04:00:25 +08:00
c++: Add testcase for PR c++/93207
gcc/testsuite/ChangeLog: PR c++/93207 * g++.dg/concepts/variadic5.C: New test.
This commit is contained in:
parent
58a29af8ef
commit
52d4ed1d96
@ -1,5 +1,8 @@
|
||||
2020-04-14 Patrick Palka <ppalka@redhat.com>
|
||||
|
||||
PR c++/93207
|
||||
* g++.dg/concepts/variadic5.C: New test.
|
||||
|
||||
PR c++/85278
|
||||
* g++.dg/concepts/diagnostic9.C: New test.
|
||||
|
||||
|
26
gcc/testsuite/g++.dg/concepts/variadic5.C
Normal file
26
gcc/testsuite/g++.dg/concepts/variadic5.C
Normal file
@ -0,0 +1,26 @@
|
||||
// PR c++/93207
|
||||
// { dg-do compile { target concepts } }
|
||||
|
||||
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...>
|
||||
{
|
||||
}
|
||||
|
||||
void foo()
|
||||
{
|
||||
S s;
|
||||
s.f<>();
|
||||
s.f<int>();
|
||||
s.f<int, char>();
|
||||
}
|
Loading…
x
Reference in New Issue
Block a user