update type check

Author: xuhuanzy

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

@@ -1308,4 +1308,30 @@ mod test {
         "#
         ));
     }
+
+    #[test]
+    fn test_self_contain_tpl() {
+        let mut ws = VirtualWorkspace::new();
+        ws.def_file(
+            "test.lua",
+            r#"
+                ---@class Observable<T>
+                Observable = {}
+
+                ---@param ... Observable<any>
+                function zip(...)
+                end
+
+        "#,
+        );
+
+        assert!(ws.check_code_for_namespace(
+            DiagnosticCode::ParamTypeNotMatch,
+            r#"
+            function Observable:test()
+                zip(self)
+            end
+        "#
+        ));
+    }
 }

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

@@ -284,5 +284,15 @@ fn check_generic_type_compact_ref_type(
         }
     }
 
+    // 如果泛型参数是`any`, 那么我们只需要匹配基础类型
+    if source_generic.get_params().iter().any(|p| p.is_any()) {
+        return check_general_type_compact(
+            context,
+            &source_generic.get_base_type(),
+            &LuaType::Ref(ref_id.clone()),
+            check_guard.next_level()?,
+        );
+    }
+
     Err(TypeCheckFailReason::TypeNotMatch)
 }