Variadic Tuple Types

Using spread of a type parameter inside tuple types.

What is the result of `type Prepend<T extends unknown[]> = [boolean, ...T]` for `Prepend<[number, string]>`?