I think it can be frustrating to work with variadics when arrays start getting involved. I do, however, advocate for thinking about variadics as semantically different to array's. One way (currently) to think about them as different is that their (Variadics) count is known at compile time. This can become a very useful thing to know later on (Value Generics, Compile Time Evaluation). We could expose this count thats known at compile and use it as a value constraint.
See this thread on not accepting 0 labeled arguments.