> This is not an abbreviated variadic template; it's an abbreviated non-variadic template with an ellipsis parameter.

No, it is not.

> void foo(auto...);
> int main() {
> foo<int, int, int, int>(1, 2, 3, 4);
> }

This code compiles. See https://godbolt.org/z/hWaqh3xn5