Typescript infer value from subset of union for conditional type

Question

I\'m looking for a little help on type inference to narrow a union in TypeScript based on a conditional type.

Our API takes a set of parameters and validates them. As