gcc/testsuite/g++.dg/cpp23/explicit-obj-diagnostics12.C


1
2
3
4
5
6
7
8
9
10

// PR c++/116798
// { dg-do compile { target c++23 } }

template<typename T>
concept C = requires(this T u,	  // { dg-error "'this' specifier in a requires-expression parameter" }
		     this T v) {  // { dg-error "'this' specifier in a requires-expression parameter" }
    u + v;
};

static_assert(C<int>);