gcc/testsuite/g++.dg/concepts/alias3.C

   1 // { dg-options "-std=c++17 -fconcepts" }
   2
   3 template<typename T>
   4   concept bool C() { return __is_class(T); }
   5
   6 template<typename T>
   7   requires C<T>()
   8     using X = T*;
   9
  10 int main()
  11 {
  12   X<int> x1; // { dg-error "constraint|invalid" }
  13 }