On Fri, 12 Jan 2024 at 00:16, Jonathan Wakely <jwak...@redhat.com> wrote: > > I'd like to commit this to trunk for GCC 14. Please take a look.
Without looking at it in excruciating detail, it's pretty much along the lines of what I have always envisioned to be a powerful combination of concepts and if-constexpr. My general principle on this is "looks like an improvement, so if it passes all the tests, ship it". :) Sure, I have envisioned going even further with that combination, such as significantly reducing the number of overloads and doing more of it as an if-constexpr ladder, but there's a balance where emulating the effects of overload resolution in something like that can become such a burden that the benefits are no longer there. If the field were green, I'd consider that as the approach from the get-go when initially designing a type like tuple, instead of doing it as an overload set.
