LWG4113 Disallow has_unique_object_representations<Incomplete[]>

Author: burblebee

source/meta.tex

@@ -1217,8 +1217,8 @@
   For an array type \tcode{T}, the same result as
   \tcode{has_unique_object_representations_v<remove_all_extents_t<T>>},
   otherwise \seebelow. &
-  \tcode{T} shall be a complete type, \cv{}~\keyword{void}, or
-  an array of unknown bound. \\ \rowsep
+  \tcode{remove_all_extents_t<T>} shall be a complete type or
+  \cv{}~\keyword{void}.  \\ \rowsep
 
 \indexlibraryglobal{reference_constructs_from_temporary}%
 \tcode{template<class T, class U>}\br