From 3d3ea3e4e982591632f070bbf64e28f9d98d6bf9 Mon Sep 17 00:00:00 2001
From: Daniel Roe <daniel@roe.dev>
Date: Tue, 16 Aug 2022 17:10:38 +0200
Subject: [PATCH] fix(types): constrain inferred types of `Defu`

---
 src/types.ts | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

diff --git a/src/types.ts b/src/types.ts
index d370a82..e19e869 100644
--- a/src/types.ts
+++ b/src/types.ts
@@ -28,9 +28,13 @@ export type MergeObjects<
 export type Defu<S extends Input, D extends Array<Input | IgnoredInput>> =
   D extends [infer F, ...infer Rest]
     ? F extends Input
-      ? Defu<MergeObjects<S, F>, Rest>
+      ? Rest extends Array<Input | IgnoredInput>
+        ? Defu<MergeObjects<S, F>, Rest>
+        : MergeObjects<S, F>
       : F extends IgnoredInput
-        ? Defu<S, Rest>
+        ? Rest extends Array<Input | IgnoredInput>
+          ? Defu<S, Rest>
+          : S
         : S
     : S