The type is not determined after the bitwise operation

未關閉

#2,712 建立於 2024年6月16日 1 則留言 0 個 reaction 已指派 0 人在 GitHub 檢視

還沒有人認領這個 Issue。

描述

### 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

![image](https://github.com/LuaLS/lua-language-server/assets/57856647/69c3f6d9-7efd-4891-9134-b1d08bce1e48)

### Actual Behaviour

![image](https://github.com/LuaLS/lua-language-server/assets/57856647/6a3da0f2-29f0-40d8-b035-30b3b7d080e4)

### Reproduction steps

```lua
local PACK_YZ = 1 << 20; -- okey
local PACK_X = PACK_YZ << 1; --- not okey
```

### Additional Notes

_No response_

### Log File

_No response_

從 issue 中的 Lua 重現開始，追蹤 language server 對鏈式位元左移運算式的型別檢查路徑。沒有指定原始碼檔案或測試；完成的標準是第二次指派取得預期的推論型別，且相關的回歸涵蓋通過。

由索引模型根據 Issue 內容生成。