From 611e66e9985e5e795751c47693d4f81e6b12786c Mon Sep 17 00:00:00 2001
From: ts-benchmark <test@ts-benchmark.com>
Date: Sat, 6 Aug 2022 11:24:17 +0200
Subject: [PATCH] temp

---
 test/types/schema.test.ts  | 24 ++++++++++++++++++++++--
 types/inferschematype.d.ts |  8 ++++----
 2 files changed, 26 insertions(+), 6 deletions(-)

diff --git a/test/types/schema.test.ts b/test/types/schema.test.ts
index 3436f144191..d88419070ae 100644
--- a/test/types/schema.test.ts
+++ b/test/types/schema.test.ts
@@ -706,8 +706,28 @@ function gh12122() {
 
   const Test3 = new Schema({ test: String }, { timestamps: true });
 
-  expectType<ApplySchemaOptions<{ test?: string; }, { timestamps: true }>>({} as InferSchemaType<typeof Test3>);
+  expectType<{
+    _id: Types.ObjectId;
+    __v: string;
+    test?: string | undefined;
+    createdAt: Date;
+    updatedAt: Date;
+  }>({} as InferSchemaType<typeof Test3>);
 
   const Test4 = new Schema({ test: String }, { timestamps: true, versionKey: 'version' });
-  expectType<ApplySchemaOptions<{ test?: string; }, { timestamps: true, versionKey: 'version' }>>({} as InferSchemaType<typeof Test4>);
+  expectType<{
+    _id: Types.ObjectId;
+    version: string;
+    test?: string | undefined;
+    createdAt: Date;
+    updatedAt: Date;
+  }>({} as InferSchemaType<typeof Test4>);
+
+  const Test5 = new Schema({ _id: String, name: String });
+
+  expectType<{
+    _id: string;
+    version: string;
+    name?: string | undefined;
+  }>({} as InferSchemaType<typeof Test5>);
 }
diff --git a/types/inferschematype.d.ts b/types/inferschematype.d.ts
index 1812012c6e7..597263c10ee 100644
--- a/types/inferschematype.d.ts
+++ b/types/inferschematype.d.ts
@@ -67,7 +67,7 @@ declare module 'mongoose' {
   type ResolveSchemaOptions<T> = Omit<MergeType<DefaultSchemaOptions, T>, 'statics' | 'methods' | 'query' | 'virtuals'>;
 
   type ApplySchemaOptions<T, O = DefaultSchemaOptions, P extends 'paths' | 'virtuals' = 'paths'> = FlatRecord<(P extends 'paths'
-    ? ResolveTimestamps<Resolve__v<T, O extends Record<any, any> ? O : {} >, O>
+    ? ResolveTimestamps<Resolve__v<Resolve_id<T, O>, O extends Record<any, any> ? O : {} >, O>
     : ResolveId<T, O>
   )>;
 }
@@ -80,9 +80,9 @@ type ResolveId<T, O> = O extends { id: false }
   ? T
   : T extends { id: any } ? T : MergeType<T, { id: string }>;
 
-type Resolve_id<T, O> = T extends { _id: any }
+type Resolve_id<T, O> = (keyof T extends '_id' ? true : false) extends true
   ? T
-  : O extends { _id: false } ? T : MergeType<T, { _id: Types.ObjectId }>;
+  : O extends { _id: false } ? T : MergeType<T, { _id: keyof T /* Types.ObjectId  */ }>;
 
 type Resolve__v<T, O extends Record<any, any>> = O extends { versionKey: false }
   ? T
@@ -198,5 +198,5 @@ type ResolvePathType<PathValueType, Options extends SchemaTypeOptions<PathValueT
                           IfEquals<PathValueType, ObjectConstructor> extends true ? any:
                             IfEquals<PathValueType, {}> extends true ? any:
                               PathValueType extends typeof SchemaType ? PathValueType['prototype'] :
-                                PathValueType extends Record<string, any> ? ObtainDocumentType<PathValueType, any, { typeKey: TypeKey }> :
+                                PathValueType extends Record<string, any> ? IfEquals<PathValueType, Types.ObjectId, Types.ObjectId, ObtainDocumentType<PathValueType, any, { typeKey: TypeKey }>> :
                                   unknown;