update generic infer

Author: xuhuanzy

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

@@ -125,4 +125,38 @@ mod test {
         "#
         ));
     }
+
+    #[test]
+    fn test_generic_infer_function() {
+        let mut ws = VirtualWorkspace::new();
+        ws.def(
+            r#"
+            ---@alias Parameters<T extends function> T extends (fun(...: infer P): any) and P or never
+
+            ---@alias Procedure fun(...: any[]): any
+
+            ---@alias MockParameters<T> T extends Procedure and Parameters<T> or never
+
+            ---@class Mock<T>
+            ---@field calls MockParameters<T>[]
+            ---@overload fun(...: MockParameters<T>...)
+
+            ---@generic T: Procedure
+            ---@param a T
+            ---@return Mock<T>
+            function fn(a)
+            end
+
+            sum = fn(function(a, b)
+                return a + b
+            end)
+            "#,
+        );
+        assert!(!ws.check_code_for(
+            DiagnosticCode::RedundantParameter,
+            r#"
+            sum(1, 2, 3)
+        "#
+        ));
+    }
 }

crates/emmylua_code_analysis/src/semantic/generic/instantiate_type/mod.rs

@@ -634,10 +634,10 @@ fn collect_infer_assignments(
                                 };
                                 let mut rest_types = Vec::with_capacity(rest.len());
                                 for (_, source_param) in rest {
-                                    let Some(source_ty) = source_param.as_ref() else {
-                                        return false;
-                                    };
-                                    rest_types.push(source_ty.clone());
+                                    // 如果来源没有类型, 那么将其设为 Any 而不是 Never
+                                    rest_types.push(
+                                        source_param.as_ref().unwrap_or(&LuaType::Any).clone(),
+                                    );
                                 }
                                 let ty = match rest_types.len() {
                                     0 => LuaType::Never,