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;
20