1// Contributed by Dodji Seketeli <dodji@redhat.com>
2// Origin: PR c++/37142
3// { dg-do compile }
4
5template<typename T, const T a, template <typename U, U u> class W> struct A {};
6
7template<typename T, const T t> struct B {};
8
9int
10main ()
11{
12  A<long, 0, B> a;
13  return 0;
14}
15
16