Argument type inference in TypeScript

Question

I have the following code:

type Inferred = T extends (...args: (infer UnionType)[]) => any ? UnionType : never

function f(first: \'first\', secon