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


1
2
3
4
5
6
7
8
9

// { dg-options "-std=c++1z" }

struct Base {
  template<typename T>
    static concept bool D() { return __is_same_as(T, int); } // { dg-error "a concept cannot be a member function" }

  template<typename T, typename U>
    static concept bool E() { return __is_same_as(T, U); } // { dg-error "a concept cannot be a member function" }
};