https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88820
Marek Polacek <mpolacek at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|ASSIGNED |NEW Assignee|mpolacek at gcc dot gnu.org |unassigned at gcc dot gnu.org --- Comment #8 from Marek Polacek <mpolacek at gcc dot gnu.org> --- (In reply to Marek Polacek from comment #7) > A little bit more simplified: > > template <int> struct S; > > template <S> struct W { > template <typename> static int foo(); > bool b = foo<int>(); > }; But that's probably invalid, because the template parameter S is missing a template argument list? I don't know what to do with this PR.