How do variadic tuple types, e.g. "type Concat<T extends unknown[], U extends unknown[]> = [...T, ...U]", behave?

A They only allow concatenation at runtime, not at the type level B They allow spreading tuple types within other tuple types, enabling generic concatenation of tuple type parameters C They are equivalent to "any[]" D They require both T and U to be the same length