gcc/testsuite/g++.dg/cpp2a/concepts-pr65854.C

   1 // PR c++/65854
   2 // { dg-do compile { target c++20 } }
   3
   4 // Handle alias templates in type requirements.
   5
   6 template<typename T1, typename T2>
   7 struct BTT { };
   8
   9 template<typename T>
  10 struct BTT<T,T> { using type = int; };
  11
  12 template<typename T1, typename T2>
  13 using Alias1 = typename BTT<T1, T2>::type;
  14
  15 template<typename T1, typename T2>
  16 concept C = requires() { typename Alias1<T1, T2>; }; // { dg-message "in requirements" }
  17
  18 template<typename T1, typename T2>
  19   requires C<T1, T2>
  20 int f();
  21
  22 auto i = f<char, int>(); // { dg-error "" }