feat: update has method type signature for better type inference

Author: shijistar

CHANGELOG.md

@@ -2,6 +2,14 @@
 
 # enum-plus Changelog
 
+## 3.1.7
+
+2026-1-26
+
+### Features
+
+- ✨ Update `has` method type signature for better type inference.
+
 ## 3.1.6
 
 2025-11-26

package.json

@@ -1,6 +1,6 @@
 {
   "name": "enum-plus",
-  "version": "3.1.6",
+  "version": "3.1.7",
   "description": "A drop-in replacement for native enum. Like native enum but much better!",
   "keywords": [
     "enum",

src/enum-collection.ts

@@ -157,7 +157,7 @@ export class EnumCollectionClass<
     }
   }
 
-  has<KV>(keyOrValue?: KV): keyOrValue is Extract<KV, K | V> {
+  has<KV>(keyOrValue?: KV): keyOrValue is Extract<KV, K | V> extends never ? typeof keyOrValue : Extract<KV, K | V> {
     return this.__items__.has(keyOrValue);
   }
 

src/enum-items.ts

@@ -221,7 +221,7 @@ export class EnumItemsArray<
     }
   }
 
-  has<KV>(keyOrValue?: KV): keyOrValue is Extract<KV, K | V> {
+  has<KV>(keyOrValue?: KV): keyOrValue is Extract<KV, K | V> extends never ? typeof keyOrValue : Extract<KV, K | V> {
     return this.some((i) => i.value === (keyOrValue as unknown as V) || i.key === (keyOrValue as unknown as K));
   }
 
@@ -569,7 +569,7 @@ export interface InheritableEnumItems<
    *
    * @returns {boolean} Whether the enumeration item exists | 枚举项是否存在
    */
-  has<KV>(keyOrValue?: KV): keyOrValue is Extract<KV, K | V>;
+  has<KV>(keyOrValue?: KV): keyOrValue is Extract<KV, K | V> extends never ? typeof keyOrValue : Extract<KV, K | V>;
 
   /**
    * **EN:** Find an enumeration item by key or value, or by custom meta fields

test/test-suites/enum-items.ts

@@ -145,7 +145,7 @@ export function addEnumItemsTestSuite(engine: TestEngineBase<'jest' | 'playwrigh
       engine.expect(weekEnum.items.label('Sunday')).toBe(locales.Sunday);
       engine.expect(weekEnum.items.label(6)).toBe(locales.Saturday);
       engine.expect(weekEnum.items.label('Saturday')).toBe(locales.Saturday);
-      engine.expect(weekEnum.items.label(7 as typeof weekEnum.valueType)).toBeUndefined();
+      engine.expect(weekEnum.items.label(7)).toBeUndefined();
     }
   );
 
@@ -158,7 +158,7 @@ export function addEnumItemsTestSuite(engine: TestEngineBase<'jest' | 'playwrigh
     ({ weekEnum }) => {
       engine.expect(weekEnum.items.key(0)).toBe('Sunday');
       engine.expect(weekEnum.items.key(6)).toBe('Saturday');
-      engine.expect(weekEnum.items.key(7 as typeof weekEnum.valueType)).toBeUndefined();
+      engine.expect(weekEnum.items.key(7)).toBeUndefined();
     }
   );
 
@@ -173,7 +173,7 @@ export function addEnumItemsTestSuite(engine: TestEngineBase<'jest' | 'playwrigh
       engine.expect(weekEnum.items.has('Sunday')).toBe(true);
       engine.expect(weekEnum.items.has(6)).toBe(true);
       engine.expect(weekEnum.items.has('Saturday')).toBe(true);
-      engine.expect(weekEnum.items.has(7 as typeof weekEnum.valueType)).toBe(false);
+      engine.expect(weekEnum.items.has(7)).toBe(false);
     }
   );