WritableDraft flattens variadic tuples into plain arrays, losing tuple structure

import {produce} from "immer"

interface State {
    foo: [boolean, ...number[]];
}

produce<State>(x => foo(x));

const foo = (x: State) => x;

Argument of type 'WritableNonArrayDraft<State>' is not assignable to parameter of type 'State'.
  Types of property 'foo' are incompatible.
    Type '(number | boolean)[]' is not assignable to type '[boolean, ...number[]]'.