type Tuple = [any, ...any[]]

['c', 'c'] satisfies Tuple;

This will infer it as a tuple without making it readonly.

Source: x.com/mattpocockuk/status/1836370325967159428