types: correct Model.schema type and fix unknown check for this param type in schema.methods

Fix #15693

Author: vkarpov15

test/types/models.test.ts

@@ -1056,3 +1056,31 @@ async function gh16526() {
   const insertManyResult = await Tank.insertMany([{ name: 'test' }], { lean: true, rawResult: true });
   expectType<number>(insertManyResult.insertedCount);
 }
+
+async function gh15693() {
+  interface IUser {
+    name: string;
+  }
+
+  interface UserMethods {
+    printName(this: IUser): void;
+    getName(): string;
+  }
+
+  const schema = new Schema<IUser, Model<IUser>, UserMethods>({ name: { type: String, required: true } });
+  schema.method('printName', function printName(this: IUser) {
+    expectError(this.isModified('name'));
+    expectError(this.doesNotExist());
+    expectType<string>(this.name);
+    console.log(this.name);
+  });
+  schema.method('getName', function getName() {
+    expectType<boolean>(this.isModified('name'));
+    return this.name;
+  });
+  const User = model('user', schema);
+
+  const leanInst = await User.findOne({}).lean().orFail();
+  User.schema.methods.printName.apply(leanInst);
+
+}

types/models.d.ts

@@ -1081,7 +1081,7 @@ declare module 'mongoose' {
     recompileSchema(): void;
 
     /** Schema the model uses. */
-    schema: Schema<TRawDocType>;
+    schema: TSchema;
 
     /** Creates a `updateMany` query: updates all documents that match `filter` with `update`. */
     updateMany<ResultDoc = THydratedDocumentType>(

types/utility.d.ts

@@ -3,6 +3,7 @@ declare module 'mongoose' {
     ? THENTYPE
     : ELSETYPE;
   type IfUnknown<IFTYPE, THENTYPE> = unknown extends IFTYPE ? THENTYPE : IFTYPE;
+  type IsUnknown<T> = unknown extends T ? true : false;
 
   type WithLevel1NestedPaths<T, K extends keyof T = keyof T> = {
     [P in K | NestedPaths<Required<T>, K>]: P extends K
@@ -135,7 +136,7 @@ declare module 'mongoose' {
    */
   type AddThisParameter<T, D> = {
     [K in keyof T]: T[K] extends (...args: infer A) => infer R
-      ? ThisParameter<T[K], unknown> extends unknown
+      ? IsUnknown<ThisParameter<T[K], unknown>> extends true
         ? (this: D, ...args: A) => R
         : T[K]
       : T[K];