[Bug c++/88820] [7/8/9 Regression] ICE in in C++2a mode for code which is able to be compiled in C++17 mode

[mpolacek at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88820

--- Comment #7 from Marek Polacek <mpolacek at gcc dot gnu.org> ---
A little bit more simplified:

template <int> struct S;

template <S> struct W {
  template <typename> static int foo();
  bool b = foo<int>();
};