[Bug c++/102039] New: another case of template function signature incorrectly dropping top-level cv-qualifier with function parameter dependent on template argument

["nickhuang99 at hotmail dot com" <gcc-bugzilla@gcc.gnu.org>]

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

            Bug ID: 102039
           Summary: another case of template function signature
                    incorrectly dropping top-level cv-qualifier with
                    function parameter dependent on template argument
           Product: gcc
           Version: 10.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: ---

You can say this is another dup of PR101402, but the nature is different
because the dependent-type is now from function template argument itself which
is different from another template class of PR101402. And that is why I file it
to be a possibly future test case.

struct A{
        typedef int Arr3[3];
};

template<class T>
void f(const typename T::Arr3){}

template<>
void f<A>(const int[3]){}