Bug报告

🔎 搜索词

箭头函数中的无效类型推断

🕗 版本与回归信息

• 在 @effect/io^0.30 和 @effect/io>=0.31 版本之间发生了变化。我怀疑导致这个bug的主要变化是这个提交。

⏯ Playground链接

至少，playground无法导入第三方库(effect)。所以在这里，我提供了一些stackblitz链接：

• @effect/io <=0.30 + TS 5.1: https://stackblitz.com/edit/typescript-qiykfu (这是我认为的实际行为)
• @effect/io ^0.32 + TS 5.1: https://stackblitz.com/edit/typescript-wjbz9s
• @effect/io ^0.32 + TS 5.2(开发版，下一个频道): https://stackblitz.com/edit/typescript-tbg3w8

💻 代码

🙁 实际行为

如果你将其写为常规函数表达式，类型推断没有任何问题。但是在箭头函数表达式中编写会导致类型推断出现问题。

🙂 预期行为

就像Effect库一样，resolve函数应该通过推断通过effect对象传递的依赖项、所需对象的类型以及函数的编写方式来正确地进行类型推断。resolve函数的编写方式应该没有任何区别。