https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102235
Bug ID: 102235
Summary: array not decay to pointer for template function
parameter during specialization with parameter pack as
template argument
Product: gcc
Version: 11.2.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: c++
Assignee: unassigned at gcc dot gnu.org
Reporter: nickhuang99 at hotmail dot com
Target Milestone: ---
Consider this snippet with error of no matches of specialization, it is similar
to case PR94501 which happens during implicit conversion. However, the internal
implementation of them might be very different. So, I would rather file this as
a new bug instead of duplicate. The direct reason is that fixing this bug might
not fix this PR94501.
template<typename ...Ts>
void foo(Ts...);
template<>
void foo<int[]>(int*){}
parameter.cpp:4:6: error: template-id ‘foo<int []>’ for ‘void foo(int*)’ does
not match any template declaration
void foo<int[]>(int*){}
^~~~~~~~~~
parameter.cpp:2:6: note: candidate is: template<class ... Ts> void foo(Ts ...)
void foo(Ts...);
^~~
