diff --git a/gcc/testsuite/g++.dg/cpp2a/concepts-using6.C b/gcc/testsuite/g++.dg/cpp2a/concepts-using6.C new file mode 100644 index 000000000000..a40519a30dae --- /dev/null +++ b/gcc/testsuite/g++.dg/cpp2a/concepts-using6.C @@ -0,0 +1,20 @@ +// PR c++/121351 +// { dg-do compile { target c++20 } } + +template concept C = true; + +template +struct A { + template void f(U) requires C; // #1 +}; + +template +struct B : A { + using A::f; + template void f(U) requires C; // #2 +}; + +int main() { + B b; + b.f(42); // { dg-error "ambiguous" } #1 and #2 don't correspond +}