ts-gems 4.0.1 → 4.0.2

package/docs/api/omit.md

@@ -9,10 +9,11 @@ convention](../api.md#the-deep--deeper-convention) for `DeepOmitTypes`/
 
 ## `StrictOmit<T, X>`
 
-Like the built-in `Omit<T, K>`, but also drops any remaining key whose value
-type is `never` (after stripping `undefined`) — symmetric with
-[`StrictPick`](pick.md#strictpickt-x), so picking and omitting the same key
-set never disagree about `never`-typed properties.
+Like the built-in `Omit<T, K>`, but `X` is constrained to `keyof T`, so a
+typo in the key you're omitting is a compile error instead of a silent
+no-op. Unlike [`StrictPick`](pick.md#strictpickt-x), it does **not** also
+drop `never`-typed keys — only the key(s) named in `X` are removed, by
+identity, regardless of their value type.
 
 ```ts
 import type { StrictOmit } from 'ts-gems';
@@ -24,7 +25,7 @@ interface Row {
 }
 
 type Result = StrictOmit<Row, 'b'>;
-// { a?: number } - `c` is dropped too, it's `never`
+// { a?: number; c: never } - only `b` is removed
 ```
 
 ## `OmitFunctions<T>`

package/docs/api/pick.md

@@ -7,9 +7,11 @@ See [Omit](omit.md) for the inverse operations.
 
 ## `StrictPick<T, X>`
 
-Like the built-in `Pick<T, K>`, but also drops any selected key whose value
-type is `never` (after stripping `undefined`) — consistent with how the rest
-of the library treats `never`-typed properties as "absent".
+Like the built-in `Pick<T, K>`, but `X` is constrained to `keyof T`, so a
+typo in the key you're picking is a compile error instead of silently
+producing `never`. It only selects by key identity — it does **not** also
+drop `never`-typed keys, so it stays correct when `T` is still an open
+generic type parameter (e.g. used inside another generic function).
 
 ```ts
 import type { StrictPick } from 'ts-gems';
@@ -21,7 +23,7 @@ interface Row {
 }
 
 type Result = StrictPick<Row, 'a' | 'c'>;
-// { a?: number } - `c` is dropped, it's `never`
+// { a?: number; c: never } - both named keys are kept
 ```
 
 ## `PickFunctions<T>`

package/docs/api.md

@@ -1,10 +1,10 @@
 <!--
 docs-baseline
-git-commit: 66d9af96d83e33978dd84297e490d158350dd865
-package-version: 4.0.0
+git-commit: 27bbe999f45fa24fe4e1d7d32d5639defa285bdc
+package-version: 4.0.1
 date: 2026-09-09
 verified-against: lib/
-diff-command: git diff 66d9af96d83e33978dd84297e490d158350dd865..HEAD -- lib/
+diff-command: git diff 27bbe999f45fa24fe4e1d7d32d5639defa285bdc..HEAD -- lib/
 -->
 
 <p align="center">

package/lib/omit.d.ts

@@ -7,16 +7,7 @@ import { IfFunction, IfNever, IfTuple } from './type-check.js';
  * while preserving strict type checking.
  */
 export type StrictOmit<T, X extends keyof T> = {
-  [
-    K in keyof T as Or<
-      // Omit never keys
-      IfNever<Exclude<T[K], undefined>>,
-      // Omit X
-      K extends X ? true : false
-    > extends true
-      ? never
-      : K
-  ]: T[K];
+  [K in keyof T as K extends X ? never : K]: T[K];
 };
 
 /**

package/lib/pick.d.ts

@@ -13,16 +13,7 @@ import {
  * while preserving strict type checking.
  */
 export type StrictPick<T, X extends keyof T> = {
-  [
-    K in keyof T as Or<
-      // Omit never keys
-      IfNever<Exclude<T[K], undefined>>,
-      // Omit X
-      K extends X ? false : true
-    > extends true
-      ? never
-      : K
-  ]: T[K];
+  [K in keyof T as K extends X ? K : never]: T[K];
 };
 
 /**

package/package.json

@@ -1,7 +1,7 @@
 {
   "name": "ts-gems",
   "description": "Valuable typing extensions for TypeScript",
-  "version": "4.0.1",
+  "version": "4.0.2",
   "license": "MIT",
   "type": "module",
   "module": "./lib/index.js",