[basic.scope.pdecl] What is the locus of a function-definition?

The subclause [basic.scope.pdecl] does not explicitly mention the locus of a function-definition. Presumably, [basic.scope.pdecl] p1 intends to cover this case but it is incorrect

The locus of a declaration ([basic.pre]) that is a declarator is immediately after the complete declarator ([dcl.decl]).

is means they are identical or they are the same thing. Even though the formal example is not consistent with the utterance

unsigned char x = x;

unsigned char x = x; is the whole declaration whose declarator is merely the first x which is a declarator-id, they are not the same thing. The improvement to this bullet is that:

The locus of a declaration ([basic.pre]) that contains a declarator is immediately after the complete declarator ([dcl.decl]).

This change may clarify the fist example, and it can also cover the function-definition

• attribute-specifier-seq_optdecl-specifier-seq_opt declarator virt-specifier-seq _opt function-body
• attribute-specifier-seq_opt decl-specifier-seq_opt declarator requires-clause function-body

Start by reading subclause [basic.scope.pdecl] p1 and the definition of locus, then compare the unsigned char x = x; example with the function-definition grammar shown in the issue. Check the surrounding discussion before changing the wording. Done means the clause accurately distinguishes declarations from declarators and explicitly covers function-definitions.