From c826a1446a3ae56173dd94db2e35bc3565aaccbf Mon Sep 17 00:00:00 2001
From: kkmuffme <11071985+kkmuffme@users.noreply.github.com>
Date: Sun, 21 May 2023 09:08:47 +0200
Subject: [PATCH] Add NonEmptyObject type

Close https://github.com/sindresorhus/type-fest/issues/621
---
 index.d.ts                   |  1 +
 readme.md                    |  1 +
 source/non-empty-object.d.ts | 30 ++++++++++++++++++++++++++++++
 test-d/non-empty-object.ts   | 34 ++++++++++++++++++++++++++++++++++
 4 files changed, 66 insertions(+)
 create mode 100644 source/non-empty-object.d.ts
 create mode 100644 test-d/non-empty-object.ts

diff --git a/index.d.ts b/index.d.ts
index 85140b9d2..40f9b58e5 100644
--- a/index.d.ts
+++ b/index.d.ts
@@ -6,6 +6,7 @@ export * from './source/observable-like';
 
 // Utilities
 export type {EmptyObject, IsEmptyObject} from './source/empty-object';
+export type {NonEmptyObject} from './source/non-empty-object';
 export type {UnknownRecord} from './source/unknown-record';
 export type {Except} from './source/except';
 export type {TaggedUnion} from './source/tagged-union';
diff --git a/readme.md b/readme.md
index d0a4361b9..8ce3d8778 100644
--- a/readme.md
+++ b/readme.md
@@ -109,6 +109,7 @@ Click the type names for complete docs.
 
 - [`EmptyObject`](source/empty-object.d.ts) - Represents a strictly empty plain object, the `{}` value.
 - [`IsEmptyObject`](source/empty-object.d.ts) - Returns a `boolean` for whether the type is strictly equal to an empty plain object, the `{}` value.
+- [`NonEmptyObject`](source/non-empty-object.d.ts) - Represents an object with at least 1 non-optional key.
 - [`UnknownRecord`](source/unknown-record.d.ts) - Represents an object with `unknown` value. You probably want this instead of `{}`.
 - [`Except`](source/except.d.ts) - Create a type from an object type without certain keys. This is a stricter version of [`Omit`](https://www.typescriptlang.org/docs/handbook/utility-types.html#omittype-keys).
 - [`Writable`](source/writable.d.ts) - Create a type that strips `readonly` from all or some of an object's keys. The inverse of `Readonly<T>`.
diff --git a/source/non-empty-object.d.ts b/source/non-empty-object.d.ts
new file mode 100644
index 000000000..745356afd
--- /dev/null
+++ b/source/non-empty-object.d.ts
@@ -0,0 +1,30 @@
+/**
+Represents an object with at least 1 non-optional key.
+
+This is useful where you need an object where all keys are optional, but there must be at least 1 key.
+
+@example
+```
+import type {NonEmptyObject} from 'type-fest';
+
+interface User {
+	name: string;
+	surname: string;
+	id: number;
+}
+
+type UpdateRequest<Entity extends object> = NonEmptyObject<Entity>;
+
+const update1: UpdateRequest<User> = {
+	name: 'Alice',
+	surname: 'Acme',
+};
+
+const update2: UpdateRequest<User> = {}; // that's a bug!
+```
+
+@category Utilities
+*/
+export type NonEmptyObject<T> = {
+	[K in keyof T]-?: Pick<Required<T>, K>
+}[keyof T]
diff --git a/test-d/non-empty-object.ts b/test-d/non-empty-object.ts
new file mode 100644
index 000000000..8595a73bf
--- /dev/null
+++ b/test-d/non-empty-object.ts
@@ -0,0 +1,34 @@
+import {expectType} from 'tsd';
+import type {NonEmptyObject} from '../index';
+
+type TestType1 = {
+	a: string;
+	b: boolean;
+};
+
+type TestType2 = {
+	a?: string;
+	b?: boolean;
+};
+
+type TestType3 = {
+	a: string;
+	b?: boolean;
+};
+
+type TestType4 = {};
+
+type NonEmptyObject1 = NonEmptyObject<TestType1>;
+type NonEmptyObject2 = NonEmptyObject<TestType2>;
+type NonEmptyObject3 = NonEmptyObject<TestType3>;
+type NonEmptyObject4 = NonEmptyObject<TestType4>;
+
+declare const test1: NonEmptyObject1;
+declare const test2: NonEmptyObject2;
+declare const test3: NonEmptyObject3;
+declare const test4: NonEmptyObject4;
+
+expectType<TestType1>(test1);
+expectType<{a: string; b?: boolean}|{a?: string; b: boolean}>(test2);
+expectType<TestType3|{a?: string; b: boolean}>(test3);
+expectType<never>(test4);