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'.
