On 6/25/24 15:07, Marek Polacek wrote:
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?
Yes, please.
Jason
