[Bug c++/97453] New: Implement CWG issue 2303

[kamleshbhalui at gmail dot com via Gcc-bugs]

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

            Bug ID: 97453
           Summary: Implement CWG issue 2303
           Product: gcc
           Version: 11.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
          Assignee: unassigned at gcc dot gnu.org
          Reporter: kamleshbhalui at gmail dot com
  Target Milestone: ---

https://wg21.cmeerw.net/cwg/issue2303

Testcases like below should compile.
$cat test.cc

  template <typename... T>              struct A;
  template <>                           struct A<> {};
  template <typename T, typename... Ts> struct A<T, Ts...> : A<Ts...> {};
  struct B : A<int> {};


  template <typename... T>
  void f(const A<T...>&);

  void g() {
    f(B{});
  }