Invalid type inference when using arrow function but normal functions is ok

Bug Report

🔎 Search Terms

Invalid type inference with arrow function

🕗 Version & Regression Information

• This changed between versions @effect/io^0.30 and @effect/io>=0.31. The main change that I suspect is causing the bug is this commit.

⏯ Playground Link

At least, playground cannot import third-party lib(effect). so here, I provide some stackblitz links:

• @effect/io <=0.30 + TS 5.1: https://stackblitz.com/edit/typescript-qiykfu (This is what I think is actual behavior)
• @effect/io ^0.32 + TS 5.1: https://stackblitz.com/edit/typescript-wjbz9s
• @effect/io ^0.32 + TS 5.2 (dev, next channel): https://stackblitz.com/edit/typescript-tbg3w8

💻 Code

🙁 Actual behavior

If you write it as a regular function expression, the type is inferred without any problems. but writing in arrow function expressions causes problems with type inference.

🙂 Expected behavior

In the same way that the Effect library works, the resolve function should be correctly typed by inferring the dependencies passed through the effect object, the type of the required objects, and the way the function is written. There should be no difference in the way the resolve function is written.

Commencez par comparer les trois reproductions StackBlitz et inspectez le commit @effect/io suspect lié dans le rapport, en vous concentrant sur la modification qui affecte l’inférence. Confirmez le comportement pour les formes équivalentes de fonction régulière et de fonction fléchée ; le travail est terminé lorsque la forme fléchée infère resolve à partir des dépendances de l’effet et des types d’objet requis de la même manière.