https://gcc.gnu.org/bugzilla/show_bug.cgi?id=94501
qingzhe huang <nickhuang99 at hotmail dot com> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |nickhuang99 at hotmail dot com
--- Comment #2 from qingzhe huang <nickhuang99 at hotmail dot com> ---
I believe this case of no specialization matching error is related with this
bug(clang passed, MSVC++ failed like GCC https://godbolt.org/z/KTahxj868).
Possibly it is a duplicate case. However, I can see even though the root cause
are all from template substitution, the "implicit_convert" and
"determine_specialization" are two different path. Should we dup this or create
a new, considering the fix might be quite different in these two cases? Do we
force developper to fix both cases when submitting a patch?
template<typename ...Ts>
void foo(Ts...);
template<>
void foo<int[]>(int*){}
<source>:3:19: error: no matches converting function 'foo' to type 'void
(*)(int*)'
3 | void (*f)(int*) = foo<int[]>;
| ^~~~~~~~~~
<source>:2:6: note: candidate is: 'template<class ... Ts> void foo(Ts ...)'
2 | void foo(Ts...);
| ^~~
<source>:5:6: error: template-id 'foo<int [3]>' for 'void foo(int*)' does not
match any template declaration
5 | void foo<int[3]>(int*){}
| ^~~~~~~~~~~
<source>:2:6: note: candidate is: 'template<class ... Ts> void foo(Ts ...)'
2 | void foo(Ts...);
| ^~~
