From b75e1e9f1eadce5e899dd1247e465a138546cc4e Mon Sep 17 00:00:00 2001
From: emiyaaaaa <emiya@emiya.com.cn>
Date: Fri, 15 May 2026 10:26:56 +0800
Subject: [PATCH 1/3] update Except type

---
 source/except.d.ts | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/source/except.d.ts b/source/except.d.ts
index e89092b77..91f193b0d 100644
--- a/source/except.d.ts
+++ b/source/except.d.ts
@@ -1,5 +1,6 @@
 import type {ApplyDefaultOptions} from './internal/index.d.ts';
 import type {IsEqual} from './is-equal.d.ts';
+import type {LiteralUnion} from './literal-union.d.ts';
 
 /**
 Filter out keys from an object.
@@ -100,10 +101,10 @@ type PostPayloadFixed = Except<UserData, 'email'>;
 
 @category Object
 */
-export type Except<ObjectType, KeysType extends keyof ObjectType, Options extends ExceptOptions = {}> =
+export type Except<ObjectType, KeysType extends LiteralUnion<keyof ObjectType, PropertyKey>, Options extends ExceptOptions = {}> =
 	_Except<ObjectType, KeysType, ApplyDefaultOptions<ExceptOptions, DefaultExceptOptions, Options>>;
 
-type _Except<ObjectType, KeysType extends keyof ObjectType, Options extends Required<ExceptOptions>> = {
+type _Except<ObjectType, KeysType extends LiteralUnion<keyof ObjectType, PropertyKey>, Options extends Required<ExceptOptions>> = {
 	[KeyType in keyof ObjectType as Filter<KeyType, KeysType>]: ObjectType[KeyType];
 } & (Options['requireExactProps'] extends true
 	? Partial<Record<KeysType, never>>

From b7a62722933feaf3739ca9c992b08c089006d7fd Mon Sep 17 00:00:00 2001
From: emiyaaaaa <emiya@emiya.com.cn>
Date: Fri, 15 May 2026 10:52:05 +0800
Subject: [PATCH 2/3] update _Except type

---
 source/except.d.ts | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/source/except.d.ts b/source/except.d.ts
index 91f193b0d..2137b2f5d 100644
--- a/source/except.d.ts
+++ b/source/except.d.ts
@@ -104,7 +104,7 @@ type PostPayloadFixed = Except<UserData, 'email'>;
 export type Except<ObjectType, KeysType extends LiteralUnion<keyof ObjectType, PropertyKey>, Options extends ExceptOptions = {}> =
 	_Except<ObjectType, KeysType, ApplyDefaultOptions<ExceptOptions, DefaultExceptOptions, Options>>;
 
-type _Except<ObjectType, KeysType extends LiteralUnion<keyof ObjectType, PropertyKey>, Options extends Required<ExceptOptions>> = {
+type _Except<ObjectType, KeysType extends PropertyKey, Options extends Required<ExceptOptions>> = {
 	[KeyType in keyof ObjectType as Filter<KeyType, KeysType>]: ObjectType[KeyType];
 } & (Options['requireExactProps'] extends true
 	? Partial<Record<KeysType, never>>

From cca59c6b113a0b5b5ceb50e62ee5fe7a4bae8eba Mon Sep 17 00:00:00 2001
From: emiyaaaaa <emiya@emiya.com.cn>
Date: Fri, 15 May 2026 11:04:11 +0800
Subject: [PATCH 3/3] add test

---
 test-d/except.ts | 11 +++++++++++
 1 file changed, 11 insertions(+)

diff --git a/test-d/except.ts b/test-d/except.ts
index 0c6ba25c7..142579ccc 100644
--- a/test-d/except.ts
+++ b/test-d/except.ts
@@ -28,3 +28,14 @@ type Example = {
 const test: Except<Example, 'bar', {requireExactProps: false}> = {foo: 123, bar: 'asdf'};
 expectType<number>(test.foo);
 expectType<unknown>(test['bar']);
+
+// Test for generic type
+type GenericType<T> = T extends string ? {
+	foo: T;
+	bar: string;
+} : {
+	baz: T;
+};
+type GenericTypeExcept<T> = Except<GenericType<T>, 'foo'>;
+expectType<GenericTypeExcept<string>>({} as {bar: string});
+expectType<GenericTypeExcept<number>>({} as {baz: number});