[Bug c++/100652] New: Uexpanded parameter pack in partial specialization of variable template not rejected

ppalka at gcc dot gnu.org gcc-bugzilla@gcc.gnu.org
Tue May 18 14:53:36 GMT 2021


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

            Bug ID: 100652
           Summary: Uexpanded parameter pack in partial specialization of
                    variable template not rejected
           Product: gcc
           Version: 10.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
          Assignee: unassigned at gcc dot gnu.org
          Reporter: ppalka at gcc dot gnu.org
  Target Milestone: ---

template <class... Ts> struct A { };
template <class T> inline constexpr bool is_a = false;
template <class... Ts> inline constexpr bool is_a<A<Ts>> = true;

GCC silently accepts the above testcase and doesn't diagnose the unexpanded
parameter pack Ts inside the partial specialization of 'is_a'.


More information about the Gcc-bugs mailing list