fix #896

Author: xuhuanzy

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

@@ -1478,4 +1478,40 @@ mod test {
         "#,
         ));
     }
+
+    #[test]
+    fn test_issue_896() {
+        let mut ws = VirtualWorkspace::new();
+        let mut emmyrc = ws.get_emmyrc();
+        emmyrc.strict.array_index = false;
+        ws.update_emmyrc(emmyrc);
+
+        assert!(ws.check_code_for(
+            DiagnosticCode::ParamTypeMismatch,
+            r#"
+            ---@alias MyFnA fun(): number
+            ---@alias MyFnB<T> fun(): T
+            ---@alias MyFnC<T> fun(): number
+
+            local aaa ---@type MyFnA[]
+            ---@param aaa MyFnA[]
+            local function AAA(aaa) return aaa end
+            local _ = AAA(aaa)
+
+            local bbb1 ---@type (MyFnB<number>)[]
+            local bbb2 = { function() return 1 end } ---@type (MyFnB<number>)[]
+            ---@param bbb (MyFnB<number>)[]
+            local function BBB(bbb) return bbb end
+            local _ = BBB(bbb1)
+            local _ = BBB(bbb2)
+
+            local ccc1 ---@type (MyFnC<number>)[]
+            local ccc2 = { function() return 1 end } ---@type (MyFnC<number>)[]
+            ---@param ccc (MyFnC<number>)[]
+            local function CCC(ccc) return ccc end
+            local _ = CCC(ccc1)
+            local _ = CCC(ccc2)
+        "#,
+        ));
+    }
 }

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

@@ -1,4 +1,5 @@
 use crate::{
+    TypeSubstitutor,
     db_index::{LuaFunctionType, LuaOperatorMetaMethod, LuaSignatureId, LuaType, LuaTypeDeclId},
     semantic::type_check::type_check_context::TypeCheckContext,
 };
@@ -14,6 +15,27 @@ pub fn check_doc_func_type_compact(
     compact_type: &LuaType,
     check_guard: TypeCheckGuard,
 ) -> TypeCheckResult {
+    // TODO: 缓存以提高性能
+    // 如果是泛型+不包含模板参数+alias, 那么尝试实例化再检查
+    if let LuaType::Generic(generic) = compact_type {
+        if !generic.contain_tpl() {
+            let base_id = generic.get_base_type_id();
+            if let Some(decl) = context.db.get_type_index().get_type_decl(&base_id)
+                && decl.is_alias()
+            {
+                let substitutor =
+                    TypeSubstitutor::from_alias(generic.get_params().clone(), base_id.clone());
+                if let Some(alias_origin) = decl.get_alias_origin(context.db, Some(&substitutor)) {
+                    return check_general_type_compact(
+                        context,
+                        &LuaType::DocFunction(source_func.clone().into()),
+                        &alias_origin,
+                        check_guard.next_level()?,
+                    );
+                }
+            }
+        }
+    }
     match compact_type {
         LuaType::DocFunction(compact_func) => {
             check_doc_func_type_compact_for_params(context, source_func, compact_func, check_guard)