diff --git a/test/types/schema.test.ts b/test/types/schema.test.ts
index 7b926c26aca..0f64d8a57f0 100644
--- a/test/types/schema.test.ts
+++ b/test/types/schema.test.ts
@@ -1123,3 +1123,21 @@ function gh13534() {
   const doc = new Test({ myId: '0'.repeat(24) });
   expectType<Types.ObjectId>(doc.myId);
 }
+
+interface ResourceDoc {
+  foo: string;
+}
+
+type ResourceIdT<ResourceIdField extends string> = {
+  [key in ResourceIdField]: string;
+};
+type ResourceDocWithId<ResourceIdField extends string> = ResourceDoc & ResourceIdT<ResourceIdField>;
+
+class TestClass<
+  ResourceType extends string,
+  DocT extends ResourceDocWithId<`${ResourceType}Id`>> {
+  constructor(dbModel: Model<DocT>) {
+    const resourceDoc = new dbModel();
+    expectType<string>(resourceDoc.foo);
+  }
+}
diff --git a/types/index.d.ts b/types/index.d.ts
index 62d7a2ee5c2..794f184b80a 100644
--- a/types/index.d.ts
+++ b/types/index.d.ts
@@ -141,7 +141,7 @@ declare module 'mongoose' {
   > = IfAny<
     DocType,
     any,
-    Document<unknown, TQueryHelpers, DocType> & MergeType<
+    Document<unknown, TQueryHelpers, DocType> & MergeUnlessEmpty<
       Require_id<DocType>,
       TOverrides extends Record<string, never> ?
         {} :
diff --git a/types/utility.d.ts b/types/utility.d.ts
index 69fe73a7be3..2f61efa17fb 100644
--- a/types/utility.d.ts
+++ b/types/utility.d.ts
@@ -6,13 +6,12 @@ declare module 'mongoose' {
     U :
     T extends ReadonlyArray<infer U> ? U : T;
 
+  type MergeType<A, B> = Omit<A, keyof B> & B;
+  type MergeUnlessEmpty<A, B> = keyof B extends never ? A : Omit<A, keyof B> & B;
+
   type UnpackedIntersection<T, U> = T extends null ? null : T extends (infer A)[]
     ? (Omit<A, keyof U> & U)[]
-    : keyof U extends never
-      ? T
-      : Omit<T, keyof U> & U;
-
-  type MergeType<A, B> = Omit<A, keyof B> & B;
+    : MergeUnlessEmpty<T, U>;
 
   /**
    * @summary Converts Unions to one record "object".