Lua Insight 1.5.5

Lua Insight 1.5.5

Fix false type errors when assigning Lua module search paths:

package.path = directory .. "?.lua"

The bundled standard libraries now explicitly declare package.path and
package.cpath as string for Lua 5.1–5.4, and package.config as string for
Lua 5.2–5.4. Placeholder empty strings no longer restrict these fields to the
empty-string literal type. Assigning a number still produces a type error.

Package	IntelliJ platform
IntelliJ-LuaInsight-1.5.5-IDEA2025.zip	251–253 (IDEA 2025.1–2025.3)
IntelliJ-LuaInsight-1.5.5-IDEA2026.zip	261–262 (IDEA 2026.1–2026.2)

For Android Studio, select the package using the platform Build in
Help → About. Build 252 uses the IDEA2025 package. Install through
Settings → Plugins → Install Plugin from Disk and restart the IDE.

Both targets compiled successfully. Four targeted tests covering the Lua
5.1–5.4 standard-library declarations passed on Android Studio 2025.2.3.
The full regression suite, Plugin Verifier and native UI checks were not
repeated for this resource-only change.
Verification details.

中文

修复设置 Lua 模块搜索路径时的误报，例如 package.path = directory .. "?.lua"
被提示只能赋空字符串的问题。

补全 Lua 5.1–5.4 中 package.path、package.cpath，以及 Lua 5.2–5.4 中
package.config 的 string 类型声明，共 11 处。字符串赋值可以通过检查，
数字赋值仍会报错。

2025、2026 两个目标均编译通过，四个标准库针对性用例通过；本次未重复运行整套回归。
Android Studio 平台 Build 252 安装 IDEA2025 包。

Lua Insight 1.5.4

Lua Insight 1.5.4

Optional Lua types now narrow automatically at guarded accesses:

return info and info.loc ~= 0 and info.loc or nil

• Recognize and/or, not, nil/boolean comparisons and guarded branches.
• Recognize definite non-null assignments to optional variables and members,
  including self fields.
• Keep diagnostics for nullable writes, shadowed variables, closure boundaries
  and stale facts after calls or loop effects.

An and guard excludes both nil and false. A ~= nil check excludes only nil.
Nullable function returns still require a check. Calls conservatively discard
earlier facts; see flow-sensitive types.

Package	IntelliJ platform
IntelliJ-LuaInsight-1.5.4-IDEA2025.zip	251–253 (IDEA 2025.1–2025.3)
IntelliJ-LuaInsight-1.5.4-IDEA2026.zip	261–262 (IDEA 2026.1–2026.2)

Android Studio selects the package by its IntelliJ platform Build in
Help → About. Platform 252 uses the 2025 package. Install the ZIP with
Settings → Plugins → Install Plugin from Disk and restart the IDE.

Both packages compiled against their respective 2025.1/2026.1 SDKs.
The 14 flow-type tests passed on Android Studio 2025.2.3 and IDEA 2026.2.3;
47 existing type-safety tests also passed on Android Studio. These are automated
editor fixtures. Full regression, Plugin Verifier and native UI checks were not
repeated for this release. Verification details.

中文

新增自动类型收窄。info and info.loc ... 等写法无需手动添加 @not nil，
条件分支中的判空，以及明确非空赋值后的可选字段访问也能识别。
保留重新赋为 nil、可空返回值、变量遮蔽和闭包等场景的错误提示；函数调用和循环
可能使先前条件失效，因此采用保守处理。

Android Studio 平台 Build 252 安装 IDEA2025 包，261–262 安装 IDEA2026 包。
两个目标均编译通过；14 个新增用例在 Android Studio 2025.2.3 和 IDEA 2026.2.3
的平台测试中通过，另有 47 个现有类型安全用例在 Android Studio 平台通过。
本次未重复运行整套回归、兼容性扫描或原生界面验证。

类型收窄说明

IntelliJ-LuaInsight 1.5.3

English

• The project and repository are named IntelliJ-LuaInsight. The plugin appears as Lua Insight in the IDE.
• Publisher metadata identifies ClarkWain, with source, documentation and issue links pointing to this repository.
• English and Chinese documentation use public installation instructions. Original copyright notices and upstream acknowledgments are retained.

Package	Supported IntelliJ Platform versions
IntelliJ-LuaInsight-1.5.3-IDEA2025.zip	IDEA 2025.1–2025.3 (251–253)
IntelliJ-LuaInsight-1.5.3-IDEA2026.zip	IDEA 2026.1–2026.2 (261–262)

For Android Studio, select a package using the platform build in Help → About.
Disable other Lua language plugins and install the ZIP through Settings → Plugins
→ Install Plugin from Disk, then restart the IDE.

Both release targets compiled and packaged successfully. Checksums, build provenance
and previous compatibility evidence are in the validation record.

简体中文

• 项目与仓库名称统一为 IntelliJ-LuaInsight，IDE 中的插件名称为 Lua Insight。
• 发布者显示为 ClarkWain，代码仓库、文档和问题反馈链接指向本项目。
• 中英文文档使用面向公众的安装说明，保留源码版权声明和上游致谢。

2025 包支持 IDEA 2025.1–2025.3（平台 Build 251–253），2026 包支持
IDEA 2026.1–2026.2（平台 Build 261–262）。Android Studio 按 Help → About
中的平台 Build 选择安装包。

安装前禁用其他 Lua 语言插件，通过 Settings → Plugins → Install Plugin from Disk
选择 ZIP 并重启 IDE，无需手动解压。

两个发布目标均已编译、打包通过。验证记录
包含校验值、构建来源和已有兼容性验证结果。

Lua Insight 1.5.2 — IntelliJ IDEA 2025 & 2026

English

Lua Insight brings Luanalysis type analysis to the EmmyLua codebase.

Package	Supported IntelliJ Platform versions
Lua-Insight-1.5.2-IDEA2025.zip	IDEA 2025.1–2025.3 (251–253)
Lua-Insight-1.5.2-IDEA2026.zip	IDEA 2026.1–2026.2 (261–262)

For Android Studio, select a package using the platform build in Help → About.
Disable other Lua language plugins and install the ZIP through Settings → Plugins
→ Install Plugin from Disk, then restart the IDE.

Each target passed 109 regression tests. Plugin Verifier reported no compatibility
problems across the five tested IDEA versions. Validation details are recorded in
the versioned validation report.

简体中文

Lua Insight 将 Luanalysis 的类型分析迁入 EmmyLua。

• 2025 包：IDEA 2025.1–2025.3（平台 Build 251–253）。
• 2026 包：IDEA 2026.1–2026.2（平台 Build 261–262）。

Android Studio 按 Help → About 中的平台 Build 选择安装包。
安装前禁用其他 Lua 语言插件，通过 Settings → Plugins → Install Plugin from Disk
选择 ZIP 并重启 IDE，无需手动解压。

两个目标各通过 109 项回归测试，五个 IDEA 版本的兼容性检查均无错误。
版本验证记录
包含校验值和验证范围。