Add configuration item doc integer match int

set `strict.docIntegerMatchInt = true`

```lua
                ---@alias IdAlias
                ---| 311000001
                ---| 311000002

                ---@param id IdAlias
                local function f(id)
                end

                ---@type integer
                local a
                f(a)  -- allow
```

Author: xuhuanzy

crates/emmylua_code_analysis/resources/schema.json

@@ -159,6 +159,7 @@
     "strict": {
       "default": {
         "arrayIndex": true,
+        "docIntegerMatchInt": true,
         "metaOverrideFileDefine": true,
         "requirePath": false,
         "typeCall": false
@@ -945,6 +946,11 @@
           "default": true,
           "type": "boolean"
         },
+        "docIntegerMatchInt": {
+          "description": "The `int` type can match the `doc_integer` type. applied to `alias`.",
+          "default": false,
+          "type": "boolean"
+        },
         "metaOverrideFileDefine": {
           "description": "meta define overrides file define",
           "default": true,

crates/emmylua_code_analysis/src/config/configs/strict.rs

@@ -24,6 +24,9 @@ pub struct EmmyrcStrict {
     /// meta define overrides file define
     #[serde(default = "default_true")]
     pub meta_override_file_define: bool,
+    /// The `int` type can match the `doc_integer` type.
+    #[serde(default = "default_false")]
+    pub doc_integer_match_int: bool,
 }
 
 impl Default for EmmyrcStrict {
@@ -33,6 +36,7 @@ impl Default for EmmyrcStrict {
             type_call: false,
             array_index: true,
             meta_override_file_define: true,
+            doc_integer_match_int: true,
         }
     }
 }

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

@@ -1019,4 +1019,29 @@ mod test {
         "#
         ));
     }
+
+    #[test]
+    fn test_int_to_alias() {
+        let mut ws = VirtualWorkspace::new();
+        let mut emmyrc = ws.analysis.get_emmyrc().deref().clone();
+        emmyrc.strict.doc_integer_match_int = true;
+        ws.analysis.update_config(Arc::new(emmyrc));
+
+        assert!(ws.check_code_for(
+            DiagnosticCode::ParamTypeNotMatch,
+            r#"
+                ---@alias IdAlias
+                ---| 311000001 
+                ---| 311000002 
+
+                ---@param id IdAlias
+                local function f(id)
+                end
+
+                ---@type integer
+                local a
+                f(a)
+        "#
+        ));
+    }
 }

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

@@ -130,7 +130,12 @@ pub fn check_simple_type_compact(
 
                 return Err(TypeCheckFailReason::TypeNotMatch);
             }
-            LuaType::Integer => return Err(TypeCheckFailReason::TypeNotMatch),
+            LuaType::Integer => {
+                if db.get_emmyrc().strict.doc_integer_match_int {
+                    return Ok(());
+                }
+                return Err(TypeCheckFailReason::TypeNotMatch);
+            }
             LuaType::DocIntegerConst(j) => {
                 if i == j {
                     return Ok(());