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 拡張機能で報告された三項式を再現し、両方の分岐での型チェックの動作を調べます。2 番目の分岐が期待どおりに値を絞り込み、boolean-or-string 型を保持したままにならないことを確認します。