Type narrowing in ternary operator not working correctly

How are you using the lua-language-server?

Visual Studio Code Extension (sumneko.lua)

Which OS are you using?

Windows

What is the issue affecting?

Type Checking

Expected Behaviour

In a ternary expression with type checking: "local a = type(x) == "something" and dosomething(x) or somethingelse(x)", the type should be narrowed for both cases

Actual Behaviour

The type is only narrowed for the first case (boolean here), in the second case it is still boolean or string

Reproduction steps

Copy the code

Additional Notes

No response

Log File

No response

首先，在 Windows 上的 Visual Studio Code 扩展中复现报告的三元表达式，并检查两个分支的类型检查行为。确认第二个分支按预期缩小值的类型，而不是保留 boolean-or-string 类型。