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 平台通过。
本次未重复运行整套回归、兼容性扫描或原生界面验证。

类型收窄说明