TS can't automatically infer type from outer function in certain cases about typescript HOT 7 CLOSED

duplicate of #52864
#52866 tries to address this and awaits further review

from typescript.

There is also no evidence that PR #52866 actually fixes this issue.

I already added the test case from this issue to my PR - roughly at the same time when I commented here that it's a duplicate of that other issue. See the commit with the test: 7142157

The problem is similar, but the code is completely different.

The root cause really seems to be the same so I think it's fair to classify this as a duplicate of the other issue. The fact that it doesn't work when ur inner call is directly at the argument position of the outer call while it works when it's deeper in the argument is a sign for me that it's the same issue (the other one suffered from exactly the same thing).

from typescript.

Why isn't pipe1 declared this way?

function pipe1(action1: Action<string>): (input: string) => string {
  return (input) => action1._run(input);
}

from typescript.

Because in the actual source code, pipe is a dynamic function that assigns the data type of an action based on the previous action. Without generics, this would require an "infinite" number of overload signatures to support any possible case.

from typescript.

@RyanCavanaugh I looked at issue #52864. The problem is similar, but the code is completely different. Therefore, I would not consider this PR a "duplicate". There is also no evidence that PR #52866 actually fixes this issue. Could you re-evaluate it? Unfortunately, this problem blocks the entire rewrite of Valibot.

from typescript.

Thanks for the clarification and for creating a PR! I was wrong and agree with what you wrote. What do you think are the chances of your PR being merged and how long might it take?

from typescript.

This issue has been marked as "Duplicate" and has seen no recent activity. It has been automatically closed for house-keeping purposes.

from typescript.