So you're suggesting that

void takes_any_integral_constant(std::integral_constant<auto, auto> c) {} should do the obvious?

On Wed, Dec 8, 2021 at 6:30 PM Ville Voutilainen <ville.voutilainen@gmail.com> wrote:

On Wed, 8 Dec 2021 at 20:23, Gašper Ažman <gasper.azman@gmail.com> wrote:
>
> The problem with using `auto` in that space is that std::vector has a `typename` in that space.
>
> `auto` is for NTTPs.

Sure, when you actually have a NTTP. For various other contexts, like
function parameters we're talking about
here, auto is not just for NTTPs. Same goes for variables.