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