fix(ts): produce() return type

The return type of `produce()` was not properly inferred when the producer returned anything other than undefined.

src/immer.d.ts

@@ -43,24 +43,17 @@ export interface Patch {
 
 export type PatchListener = (patches: Patch[], inversePatches: Patch[]) => void
 
-/** Includes 1 when `void` or `undefined` exists in type `T` */
-type HasVoidLike<T> = (void extends T ? 1 : 0) | (undefined extends T ? 1 : 0)
-
-/** Includes 1 when type `T` is `void` or `undefined` (or both) */
-type IsVoidLike<T> =
-    | (T extends void ? 1 : 0)
-    | (T extends undefined ? 1 : 0)
-    | (T extends void | undefined ? 1 : 0)
+type IsVoidLike<T> = T extends void | undefined ? 1 : 0
 
 /** Converts `nothing` into `undefined` */
 type FromNothing<T> = Nothing extends T ? Exclude<T, Nothing> | undefined : T
 
 /** The inferred return type of `produce` */
-type Produced<T, Return> = 1 extends HasVoidLike<Return>
-    ? 1 extends IsVoidLike<Return>
-        ? T
-        : T | FromNothing<Exclude<Return, void>>
-    : FromNothing<Return>
+export type Produced<T, Return> = IsVoidLike<Return> extends 0
+    ? FromNothing<Return>
+    : IsVoidLike<Return> extends 1
+    ? T
+    : T | FromNothing<Exclude<Return, void>>
 
 type ImmutableTuple<T extends ReadonlyArray<any>> = {
     readonly [P in keyof T]: Immutable<T[P]>