gcc/testsuite/g++.dg/DRs/dr2664.C

   1 // CWG 2664
   2 // { dg-do compile { target c++20 } }
   3
   4 template <class S1, class S2> struct C {
   5   C(...);
   6 };
   7
   8 template<class T1> C(T1) -> C<T1, T1>;
   9 template<class T1, class T2> C(T1, T2) -> C<T1 *, T2>;
  10
  11 template<class V1, class V2> using A = C<V1, V2>;
  12
  13 C c1{""};
  14 A a1{""};
  15
  16 C c2{"", 1};
  17 A a2{"", 1};