There is some overlap here with the idea of making CTAD work for function arguments (and in other contexts where it is currently not allowed), which is something I am considering proposing for post-C++23.

Cheers,
Timur

> On 8 Dec 2021, at 12:05, Ville Voutilainen via Std-Proposals <std-proposals_at_[hidden]> wrote:
>
> On Wed, 8 Dec 2021 at 02:43, Bill Kerney via Std-Proposals
> <std-proposals_at_[hidden]> wrote:
>>
>> Hi all,
>>
>> Two small ideas -
>>
>> 1) Allow this...
>>
>> void print_matrix(const vector<vector<auto>> &mat) {
>> ...
>> }
>>
>> ...as a more constrained version of auto parameters so that it would work with any vector of vectors, but not with just any type.
>
> Not exactly a small idea. :) But I do plan to propose this, it just
> can't make it for C++23 due to -ETOOBUSYWITHOTHERTHINGS. :)
> --
> Std-Proposals mailing list
> Std-Proposals_at_[hidden]
> https://lists.isocpp.org/mailman/listinfo.cgi/std-proposals