What does this TypeScript snippet output?

Console output

Why

The double cast labels the array as a number but emits no conversion. At runtime `v` is still the array `[1, 2]`, and `array + 3` invokes the array's string form "1,2" before concatenating "3", producing "1,23". The type system was simply lied to.