gcc/testsuite/g++.dg/cpp2a/concepts-inherit-ctor12.C


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

// PR c++/116492
// CWG 2789
// { dg-do compile { target c++20 } }

template<class T>
struct A {
  A() requires true = delete;
};

struct B : A<int> {
  B();
  using A<int>::A;
};

B b; // OK, selects the non-inherited constructor over the more constrained
     // inherited constructor.