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

   1 // PR c++/67178
   2 // { dg-do compile { target c++20 } }
   3
   4 template<typename T>
   5 concept c = true;
   6
   7 template<typename T>
   8 concept C0 = requires (auto x) { // { dg-error "placeholder type" }
   9   x;
  10 };
  11
  12 template<typename T>
  13 concept C1 = requires (C1 auto x) { // { dg-error "not been declared|placeholder|two or more|in requirements" }
  14   x; // { dg-error "not declared" }
  15   { x } -> c; // { dg-message "is invalid|not declared" }
  16 };
  17
  18 template<typename T>
  19   requires C1<T>
  20 void f(T) {}
  21
  22 int main() {
  23   f(1); // { dg-error "" }
  24 }
  25
  26