diff --git a/gcc/cp/parser.cc b/gcc/cp/parser.cc index 4dd9474cf60..dbc607027df 100644 --- a/gcc/cp/parser.cc +++ b/gcc/cp/parser.cc @@ -25982,10 +25982,15 @@ cp_parser_parameter_declaration (cp_parser *parser, bool xobj_param_p = decl_spec_seq_has_spec_p (&decl_specifiers, ds_this); - if (xobj_param_p && template_parm_p) + if (xobj_param_p + && (template_parm_p || current_binding_level->requires_expression)) { - error_at (decl_specifiers.locations[ds_this], - "% specifier in template parameter declaration"); + if (template_parm_p) + error_at (decl_specifiers.locations[ds_this], + "% specifier in template parameter declaration"); + else + error_at (decl_specifiers.locations[ds_this], + "% specifier in a requires-expression parameter"); xobj_param_p = false; decl_specifiers.locations[ds_this] = 0; } diff --git a/gcc/testsuite/g++.dg/cpp23/explicit-obj-diagnostics12.C b/gcc/testsuite/g++.dg/cpp23/explicit-obj-diagnostics12.C new file mode 100644 index 00000000000..ec0aced0fd9 --- /dev/null +++ b/gcc/testsuite/g++.dg/cpp23/explicit-obj-diagnostics12.C @@ -0,0 +1,10 @@ +// PR c++/116798 +// { dg-do compile { target c++23 } } + +template +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);