LWG3823 Unnecessary precondition for is_aggregate

Fixes NB GB 090 (C++23 CD).

Author: burblebee

source/meta.tex

@@ -881,7 +881,7 @@
 \tcode{template<class T>}\br
   \tcode{struct is_aggregate;}           &
  \tcode{T} is an aggregate type\iref{dcl.init.aggr} &
- \tcode{remove_all_extents_t<T>} shall be a complete type or \cv~\keyword{void}.              \\ \rowsep
+ \tcode{T} shall be an array type, a complete type, or \cv~\keyword{void}.              \\ \rowsep
 
 \indexlibrary{\idxcode{is_signed}!class}%
 \tcode{template<class T>}\br