feat: add config strict.require_export_global

用于控制第三方包的默认导出可见性.
默认为 false, 即不启用, 此时允许导入第三包的所有文件.

Author: xuhuanzy

crates/emmylua_code_analysis/resources/schema.json

@@ -138,6 +138,7 @@
         "arrayIndex": true,
         "docBaseConstMatchBaseType": true,
         "metaOverrideFileDefine": true,
+        "requireExportGlobal": false,
         "requirePath": false,
         "typeCall": false
       }
@@ -1044,6 +1045,11 @@
           "type": "boolean",
           "default": true
         },
+        "requireExportGlobal": {
+          "description": "This option limits the visibility of third-party libraries.\n\nWhen enabled, third-party libraries must use `---@export global` annotation to be importable (i.e., no diagnostic errors and visible in auto-import).",
+          "type": "boolean",
+          "default": false
+        },
         "requirePath": {
           "description": "Whether to enable strict mode require path.",
           "type": "boolean",

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

@@ -27,6 +27,11 @@ pub struct EmmyrcStrict {
     /// Base constant types defined in doc can match base types, allowing int to match `---@alias id 1|2|3`, same for string.
     #[serde(default = "default_false")]
     pub doc_base_const_match_base_type: bool,
+    /// This option limits the visibility of third-party libraries.
+    ///
+    /// When enabled, third-party libraries must use `---@export global` annotation to be importable (i.e., no diagnostic errors and visible in auto-import).
+    #[serde(default = "default_false")]
+    pub require_export_global: bool,
 }
 
 impl Default for EmmyrcStrict {
@@ -37,6 +42,7 @@ impl Default for EmmyrcStrict {
             array_index: true,
             meta_override_file_define: true,
             doc_base_const_match_base_type: true,
+            require_export_global: false,
         }
     }
 }

crates/emmylua_code_analysis/src/semantic/visibility/export.rs

@@ -47,13 +47,16 @@ pub fn check_export_visibility(
 }
 
 /// 检查默认导出作用域下的可见性
-///
-/// 默认情况下, 如果被声明为库文件, 则我们不认为是可见的.
-/// 否则认为是可见的.
 fn check_default_export_visibility(
     semantic_model: &SemanticModel,
     module_info: &ModuleInfo,
 ) -> Option<bool> {
+    // 如果没有启用 require_export_global, 则默认认为是可见的.
+    if !semantic_model.emmyrc.strict.require_export_global {
+        return Some(true);
+    }
+
+    // 如果被声明为库文件, 则我们不认为是可见的.
     if semantic_model
         .db
         .get_module_index()