gcc/testsuite/g++.dg/cpp1y/var-templ26.C


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

// { dg-do compile { target c++14 } }

template <class T> const int V = 0;
template <> const int V<char> = 42;

template <class T>
struct A
{
  using N = T;
};

#define SA(X) static_assert((X),#X)
template <class T>
struct B
{
  SA(V<typename A<T>::N> == 42);
};

B<char> b;