On Tue, Jun 25, 2024 at 06:22:56PM +0100, Jonathan Wakely wrote: > 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
Looks good. Should I push my patch now? Marek
