replacer requires all arguments to be destructured

[codpro2005]

typedRegExp(source).replaceIn's argument replacer requires all arguments to be destructured if a single optional captured group exists:

typedRegExp('()?').replaceIn('', (match) => ''); // Errors
typedRegExp('()?').replaceIn('', (match, ..._) => ''); // works

[codpro2005]

TypeScript seems to have trouble with union tuples even if they are of equivalent length:

const getSomething = (callback: (...args: [...([number] | [string]), boolean]) => unknown) => undefined;
const res = getSomething(first => 'hi') // Errors!
const rez = getSomething((first, ...rest) => 'hi') // Doesn't error, but 'rest' is typed as the union of all tuple elements array, instead of destructured tuple: `(string | number | boolean)[]` instead of `[boolean]`

Theoretically this could be fixed by explicitly transforming the tuple union into a tuple with union'd elements but this would remove contextual typing for unnamed capture groups. While they shouldn't be used anyways, potentially create a TypeScript issue about this so that no additional logic has to be written. Look if such an issue exists already.

EDIT: This is already tracked in an open TypeScript issue, though extra information could be added.