diagnostic ParamTypeNotMatch: int 允许浮点数常量尾数为 .0 通过

Author: xuhuanzy

crates/emmylua_code_analysis/src/db_index/type/humanize_type.rs

@@ -42,7 +42,15 @@ pub fn humanize_type(db: &DbIndex, ty: &LuaType, level: RenderLevel) -> String {
         LuaType::Thread => "thread".to_string(),
         LuaType::Userdata => "userdata".to_string(),
         LuaType::IntegerConst(i) => i.to_string(),
-        LuaType::FloatConst(f) => f.to_string(),
+        LuaType::FloatConst(f) => {
+            let s = f.to_string();
+            // 如果字符串不包含小数点，添加 ".0"
+            if !s.contains('.') {
+                format!("{}.0", s)
+            } else {
+                s
+            }
+        }
         LuaType::TableConst(v) => {
             let member_owner = LuaMemberOwner::Element(v.clone());
             humanize_table_const_type(db, member_owner, level)

crates/emmylua_code_analysis/src/diagnostic/checker/param_type_check.rs

@@ -85,7 +85,7 @@ fn check_call_expr(
             }
             let result = semantic_model.type_check(&check_type, arg_type);
             if !result.is_ok() {
-                add_type_check_diagnostic(
+                try_add_diagnostic(
                     context,
                     semantic_model,
                     *arg_ranges.get(idx)?,
@@ -110,7 +110,7 @@ fn check_variadic_param_match_args(
     for (arg_type, arg_range) in arg_types.iter().zip(arg_ranges.iter()) {
         let result = semantic_model.type_check(variadic_type, arg_type);
         if !result.is_ok() {
-            add_type_check_diagnostic(
+            try_add_diagnostic(
                 context,
                 semantic_model,
                 *arg_range,
@@ -122,6 +122,33 @@ fn check_variadic_param_match_args(
     }
 }
 
+fn try_add_diagnostic(
+    context: &mut DiagnosticContext,
+    semantic_model: &SemanticModel,
+    range: TextRange,
+    param_type: &LuaType,
+    expr_type: &LuaType,
+    result: TypeCheckResult,
+) {
+    match (param_type, expr_type) {
+        (LuaType::Integer, LuaType::FloatConst(f)) => {
+            if f.fract() == 0.0 {
+                return;
+            }
+        }
+        _ => {}
+    }
+
+    add_type_check_diagnostic(
+        context,
+        semantic_model,
+        range,
+        param_type,
+        expr_type,
+        result,
+    );
+}
+
 fn add_type_check_diagnostic(
     context: &mut DiagnosticContext,
     semantic_model: &SemanticModel,

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

@@ -1004,4 +1004,19 @@ mod test {
         "#
         ));
     }
+
+    #[test]
+    fn test_int() {
+        let mut ws = VirtualWorkspace::new();
+        assert!(ws.check_code_for(
+            DiagnosticCode::ParamTypeNotMatch,
+            r#"
+            ---@param count integer
+            local function loop_count(count)
+            end
+
+            loop_count(45 / 3)
+        "#
+        ));
+    }
 }