LuaLS / LuaLS/lua-language-server

The type is not determined after the bitwise operation

オープン
#2,712 コメント 1 件 リアクション 0 件 担当者 0 名 GitHub で見る

まだ誰も着手していません。

主要言語
Lua
スター
4.4k
フォーク
442
PR マージ指標
30日以内にマージされた PR はありません

説明

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

コントリビューションガイド

コントリビューションガイドを開く

はじめの一歩

  1. issue を最後まで読み、次にプロジェクトのコントリビューションガイドを読みます。
  2. 着手することを issue にコメントします — 二人が同じ作業をするのを防げます。
  3. リポジトリをフォークし、ブランチを切って変更します。
  4. issue 番号を参照したプルリクエストを送ります。

調査の方向性

issue にある Lua の再現コードから始め、連鎖したビット単位の左シフト式に対する language server の型チェック経路を追跡してください。ソースファイルやテストは指定されていません。完了の条件は、2 番目の代入が期待される推論型を受け取り、関連するリグレッションカバレッジがパスすることです。

索引モデルが issue の本文から書いたものです。

評価

技術スタック
lua
領域
devtools
issue の種類
バグ
難易度
3/5
見積もり時間
1〜2日
活発さ
停滞
明瞭さ
おおむね明確
初心者へのやさしさ
45/100

新しい issue をメールで受け取る

初心者向けの GitHub issue を短くまとめたダイジェスト。