From 543e69690cc7d81dfe1f3ba181ed7df7ee1444b5 Mon Sep 17 00:00:00 2001
From: Jacek Pudysz <jacekpudysz@gmail.com>
Date: Wed, 7 Feb 2024 15:33:31 +0100
Subject: [PATCH] feat: narrow down boolean variants

---
 src/types/variants.ts | 15 +++++++--------
 1 file changed, 7 insertions(+), 8 deletions(-)

diff --git a/src/types/variants.ts b/src/types/variants.ts
index f9e58ae0..29112707 100644
--- a/src/types/variants.ts
+++ b/src/types/variants.ts
@@ -6,17 +6,16 @@ type ExtractVariantKeys<T> = T extends object
     ? ExtractVariant<T[keyof T]>
     : never
 
-type HasTrue<T> = 'true' extends keyof T ? true : false
-type HasFalse<T> = 'false' extends keyof T ? true : false
+type HasBooleanVariants<T> = T extends Record<'true', any>
+    ? true
+    : T extends Record<'false', any>
+        ? true
+        : false
 
 type ExtractSubVariantKeys<T> = T extends object
-    ? [HasTrue<T>, HasFalse<T>] extends [true, true]
+    ? HasBooleanVariants<T> extends true
         ? keyof Omit<T, 'default'> | boolean | undefined
-        : [HasTrue<T>] extends [true]
-            ? keyof Omit<T, 'default'> | true | undefined
-            : [HasFalse<T>] extends [true]
-                ? keyof Omit<T, 'default'> | false | undefined
-                : keyof Omit<T, 'default'>
+        : keyof Omit<T, 'default'> | undefined
     : never
 
 type ExtractVariant<T> = T extends (...args: any) => infer R