gcc/testsuite/g++.dg/cpp2a/concepts-variadic1.C


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28

// PR c++/96531
// { dg-do compile { target c++20 } }

template<typename T>
concept is_bool = __is_same(bool, T);

template <typename... Ts>
concept C = requires {
  requires (is_bool<Ts> || ...);
};

template <bool... Bs>
concept D = requires {
  requires (Bs || ...);
};

template <typename... Ts>
requires C<Ts...>
void bar() {}

template <bool... Bs>
requires D<Bs...>
void baz() {}

int main() {
  bar<int, char, bool>();
  baz<false, true, false>();
}