Probably that could be done with the following limitations:
- No effect on overload resolution. Function with "bounded vararg" parameter is still treated as a function with vararg parameter when determining signature specificity.
- Compile-time warning when a statically known vararg size is not in the given bounds (rather generally speaking).
- Run-time assertion in function body.