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

   1 // { dg-do compile { target c++14 } }
   2
   3 template <class T> const int V = 0;
   4 template <> const int V<char> = 42;
   5
   6 template <class T>
   7 struct A
   8 {
   9   using N = T;
  10 };
  11
  12 #define SA(X) static_assert((X),#X)
  13 template <class T>
  14 struct B
  15 {
  16   SA(V<typename A<T>::N> == 42);
  17 };
  18
  19 B<char> b;