RemoveFirstFromTuple: T["length"] extends 0
    ? []
    : (...b: T) => void extends (a: any, ...b: infer I) => void ? I : []

Type Parameters

  • T extends any[]