Tuple with fixed length

Use type never for array tail:

declare var a: [string, number, ...never[]];

and you'll get

Type '"3"' is not assignable to type 'never'.

Type '4' is not assignable to type 'never'.