fix type check: 两个 function 的第一个参数均为self时允许匹配

Author: xuhuanzy

crates/emmylua_code_analysis/src/diagnostic/test/param_type_check_test.rs

@@ -897,4 +897,27 @@ mod test {
         "#
         ));
     }
+
+    #[test]
+    fn test_function_self() {
+        let mut ws = VirtualWorkspace::new();
+        assert!(ws.check_code_for(
+            DiagnosticCode::ParamTypeNotMatch,
+            r#"
+                ---@class D23.A
+
+                ---@generic Extends: string
+                ---@param init? fun(self: self, super: Extends)
+                local function extends(init)
+                end
+
+                ---@generic Super: string
+                ---@param super? `Super`
+                ---@param superInit? fun(self: D23.A, super: Super, ...)
+                local function declare(super, superInit)
+                    extends(superInit)
+                end
+        "#
+        ));
+    }
 }

crates/emmylua_code_analysis/src/semantic/type_check/func_type.rs

@@ -99,6 +99,9 @@ fn check_doc_func_type_compact_for_params(
                 )
                 .is_err()
                 {
+                    if i == 0 && source_type.is_self_infer() && compact_param.0 == "self" {
+                        continue;
+                    }
                     // add error message
                     return Err(TypeCheckFailReason::TypeNotMatch);
                 }