On Fri, 1 Mar 2024 at 19:45, Tiago Freire via Std-Proposals
<std-proposals_at_[hidden]> wrote:
>
> I got the idea, it's essentially writing a template without writing template. I feel super dirty with that one, don't know how that managed to make it in to the standard

Well, that should be an easy problem to solve, it got there via
https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2013/n3559.pdf
and
https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2018/p1141r2.html