func(T... a, int x){
}

and even more

func(int y, T... t, double x)
{

}

i think that makes template more complete in some sense.

restrictions can be considered(in order to make the match time reasonable) :
only allow 1 tuple in argument:

func(T... t, int y, double x, A... a, int x, int j)  // this would not be allowed