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

   1 // { dg-additional-options "-std=c++17 -fconcepts" }
   2
   3 struct S
   4 {
   5   concept S();  // { dg-error "3:a constructor cannot be .concept." }
   6   concept int s = 1;  // { dg-error "3:non-static data member .s. declared .concept." }
   7   concept void foo();  // { dg-error "3:a concept cannot be a member function" }
   8   concept ~S();  // { dg-error "3:a destructor cannot be .concept." }
   9 };
  10
  11 typedef concept int my_int;  // { dg-error "9:.concept. cannot appear in a typedef declaration" }
  12
  13 void bar(concept int);  // { dg-error "10:a parameter cannot be declared .concept." }
  14
  15 concept int i = 0;  // { dg-error "1:a non-template variable cannot be .concept." }