update type_check

Author: xuhuanzy

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

@@ -213,13 +213,29 @@ mod tests {
         assert!(ws.check_code_for(
             DiagnosticCode::ReturnTypeMismatch,
             r#"
-            ---@return string?
-            local function a()
-                ---@type int?
-                local ccc
-                return ccc and a() or nil
-            end
+                ---@return string?
+                local function a()
+                    ---@type int?
+                    local ccc
+                    return ccc and a() or nil
+                end
+            "#
+        ));
+    }
+
+    #[test]
+    fn test_2() {
+        let mut ws = VirtualWorkspace::new();
 
+        assert!(ws.check_code_for(
+            DiagnosticCode::ReturnTypeMismatch,
+            r#"
+                ---@return any[]
+                local function a()
+                    ---@type table|table<any, any>
+                    local ccc
+                    return ccc
+                end
             "#
         ));
     }

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

@@ -62,6 +62,24 @@ pub fn check_complex_type_compact(
                 );
             }
             LuaType::Table => return Ok(()),
+            LuaType::TableGeneric(compact_types) => {
+                if compact_types.len() == 2 {
+                    for typ in compact_types.iter() {
+                        if check_general_type_compact(
+                            db,
+                            source_base,
+                            typ,
+                            check_guard.next_level()?,
+                        )
+                        .is_err()
+                        {
+                            return Err(TypeCheckFailReason::TypeNotMatch);
+                        }
+                    }
+
+                    return Ok(());
+                }
+            }
             _ => {}
         },
         LuaType::Tuple(tuple) => {