gcc/testsuite/g++.dg/concepts/member-concept.C

   1 // { dg-options "-std=c++17 -fconcepts" }
   2
   3 struct Base {
   4   template<typename T>
   5     static concept bool D() { return __is_same_as(T, int); } // { dg-error "a concept cannot be a member function" }
   6
   7   template<typename T, typename U>
   8     static concept bool E() { return __is_same_as(T, U); } // { dg-error "a concept cannot be a member function" }
   9 };