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


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

// PR c++/94549
// { dg-do compile { target concepts } }

struct base {
  template <typename type>
    requires false
  base(type);

  template <typename type>
    requires true
  base(type);
};

struct derived : base {
  using base::base;
};

void foo() {
  derived{'G'};
}