Type Alias Push<T, A>

Push: T extends unknown[]
    ? (...a: [...T, A]) => void extends (...i: infer I) => void
        ? I
        : unknown
    : never