On Mon, 22 May 2023 at 17:50, Guillaume Racicot via Std-Proposals
<std-proposals_at_[hidden]> wrote:
>
> In this case, would `typename` be useful to introduce a typename? Does it conflicts with another syntax?
>
> ```
> auto f(std::vector<typename>) -> void {
>
> }
> ```
>
> If we follow concept syntax, we could also use a concept name:
>
> ```
> auto f(std::vector<std::integral>) -> void {

Right, so then

auto f(std::vector<std::integral auto>) -> void;
and
auto f(std::vector<auto>) -> void;

would make fair amounts of sense.