On Tue, 25 Jun 2024 at 16:17, Jason Merrill <ja...@redhat.com> wrote: > > On 6/25/24 07:15, Jonathan Wakely wrote: > > On Tue, 25 Jun 2024 at 03:12, Jason Merrill <ja...@redhat.com> wrote: > >> > >> On 6/18/24 10:31, Marek Polacek wrote: > >>> Bootstrapped/regtested on x86_64-pc-linux-gnu, ok for trunk/14/13? > >> > >> Makes sense to me, though probably the [meta.unary.prop] table should be > >> adjusted in the same way. Jonathan, what do you think? > > > > Just to make sure I understand correctly, the suggestion is to change > > the precondition for the trait to something like: > > > > "remove_all_extents_t<T> shall be a complete type or cv void." > > > > i.e. if T is incomplete then T[] cannot be used with the trait, right? > > Yes.
Thanks. This is now https://cplusplus.github.io/LWG/issue4113
