Type hints lost when using immer middleware (v5.0.0)

[yuri2peter]

Bug Description

I'm experiencing a type inference issue when using the immer middleware with Zustand v5.0.0. When using the middleware, the type of the draft object is inferred as any, leading to type errors.

This issue doesn't occur when using Zustand v4.x.

Reproduction Link

https://stackblitz.com/edit/stackblitz-starters-xysert?file=app%2Ftest.ts&view=editor

[dai-shi]

Is it related with #2696? Can @chrisvander take a look please?

[chrisvander]

You're right, it's related. For some reason, when we do SetStateType<A2>, it resolves correctly to { count: number } in all but the Draft</* ... */> type. In that, I'm seeing TypeScript inference calling it Draft<Exclude<A2[0], (...args: any[]) => any>> instead of resolving the inner type to { count: number }.

I'll try to figure out why that might be.

[adriancalavie]

Any news on this?