1 // PR c++/88820
2 // { dg-do compile { target c++17 } }
3 
4 template <int> struct S;
5 
6 template <S> struct W {
7   template <typename> static int foo();
8   bool b = foo<int>();
9 };
10