update type_check

Author: xuhuanzy

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

@@ -1089,4 +1089,27 @@ mod test {
             "#
         ));
     }
+
+    #[test]
+    fn test_super_type_match() {
+        let mut ws = VirtualWorkspace::new_with_init_std_lib();
+        assert!(ws.check_code_for(
+            DiagnosticCode::ParamTypeNotMatch,
+            r#"
+                ---@class UnitKey: integer
+
+                ---@alias IdAlias
+                ---| 10101
+
+                ---@param key IdAlias
+                local function get(key)
+                end
+
+                ---@type UnitKey
+                local key
+
+                get(key)
+            "#
+        ));
+    }
 }

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

@@ -143,6 +143,13 @@ pub fn check_simple_type_compact(
 
                 return Err(TypeCheckFailReason::TypeNotMatch);
             }
+            LuaType::Ref(_) => {
+                match check_base_type_for_ref_compact(db, source, compact_type, check_guard) {
+                    Ok(_) => return Ok(()),
+                    Err(err) if err.is_type_not_match() => {}
+                    Err(err) => return Err(err),
+                }
+            }
             _ => {}
         },
         LuaType::DocStringConst(s) => match compact_type {
@@ -161,6 +168,13 @@ pub fn check_simple_type_compact(
 
                 return Err(TypeCheckFailReason::TypeNotMatch);
             }
+            LuaType::Ref(_) => {
+                match check_base_type_for_ref_compact(db, source, compact_type, check_guard) {
+                    Ok(_) => return Ok(()),
+                    Err(err) if err.is_type_not_match() => {}
+                    Err(err) => return Err(err),
+                }
+            }
             _ => {}
         },
         LuaType::DocBooleanConst(b) => match compact_type {
@@ -242,6 +256,7 @@ fn get_alias_real_type<'a>(
     Ok(compact_type)
 }
 
+/// 检查基础类型是否匹配自定义类型
 fn check_base_type_for_ref_compact(
     db: &DbIndex,
     source: &LuaType,