| // { 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; |