NoInfer type not being narrowed properly

[matheusvellone]

NoInfer type not being narrowed properly

[RyanCavanaugh]

Narrowing can't narrow X<A | B> to A or B when X is nondistributive like NoInfer is. You need to write NoInfer<ParametersOf<Task>> | NoInfer<GetParametersOf<Task>>

[RyanCavanaugh]

Aside: I'm also trying to figure out why you're using NoInfer in the first place here.

[matheusvellone]

Aside: I'm also trying to figure out why you're using NoInfer in the first place here.

I removed the place where I define an array of TaskCombos[].

const combos = [
  {
    task: TASK_NAMES.Task1,
    parameters: { task2: true }, // This is wrong
  },
] satisfies TaskCombos[]

I want to avoid TS telling me that I'm passing the wrong task, because in this case the task "locks" the type and parameters should respect it (not inferring from it)

I'll close the issue, since making it NoInfer<ParametersOf<Task>> | NoInfer<GetParametersOf<Task>> works.

[RyanCavanaugh]

That's also an error without using NoInfer, though?

[matheusvellone]

Yes, without NoInfer the error still appears, but in more complex cases, with more parameters and more tasks, I feel that the error is better presented when using NoInfer and also makes more sense from the developer experience sight

In my project, there are around 80 tasks, each one with its parameter type.
But some tasks parameters are very similar, which tricks (i think) TS into showing that I'm using the wrong task for that parameters in some cases.

In this case, NoInfer makes sense to me, because I'm telling TS to avoid inferring the Task from the Parameters and only trust the task prop