gcc/testsuite/g++.dg/cpp2a/class-deduction-alias8.C

   1 // PR c++/95486
   2 // { dg-do compile { target c++20 } }
   3
   4 template<class T, class U>
   5 struct X { X(U) requires __is_same(U, int) {} };
   6
   7 template<class U>
   8 X(U) -> X<char, U>;
   9
  10 template<class U>
  11 using Y = X<void, U>;
  12
  13 Y y{1};
  14 Y z{'a'}; // { dg-error "failed|no match" }