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


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

// PR c++/59200
// { dg-do compile { target c++17 } }
// { dg-additional-options "-fconcepts" }

struct A
{
  static constexpr bool value = true;
};

template<typename T>
struct B
{
  template<typename U>
    using C = A;
};

template<typename T>
template<typename U>
  const bool B<T>::C<U>::value;  // { dg-error "too many" }