Proposed resolution:

Change in 6.8.1 [basic.types.general] paragraph 6 as follows:

... [ Note: The type of a pointer or reference to array of unknown bound permanently points to or refers to an incomplete type. An array of unknown bound , or of a type defined named by a typedef declaration to be an array of unknown bound, permanently refers to an incomplete type. In either case, the array type cannot be completed. -- end note ]

[Accepted as a DR at the November, 2022 meeting.]

Subclause 6.8.1 [basic.types.general] paragraph 6 specifies:

... The type of a pointer to array of unknown bound, or of a type defined by a typedef declaration to be an array of unknown bound, cannot be completed.

This is misleading; such a type is already complete.