U2I<U>: (U extends U
        ? ((u: U) => 0)
        : never) extends ((i: infer I) => 0)
    ? Extract<I, U>
    : never

Type Parameters

  • U