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