1 // { dg-do compile { target c++14 } }
2 
3 template <class T> struct A {
4   template <class U> static const U x = 1;
5   static const int y = 2;
6 };
7 
main()8 int main() {
9   A<int> a;
10   int y = a.y;         // OK
11   int x = a.x<int>;     // ???
12 }
13