LuaLS / LuaLS/lua-language-server
Inference failure when conditionally swapping variable?
オープン
まだ誰も着手していません。
- 主要言語
- Lua
- スター
- 4.4k
- フォーク
- 442
- PR マージ指標
- 30日以内にマージされた PR はありません
説明
Is the following expected? Why does inference fail at all?
local a, b = 5, 8
if a < b then
b, a = a, b
-- ^ Unknown: cannot infer type.
end
print("(" .. a .. ", " .. b .. ")")
コントリビューションガイド
はじめの一歩
- issue を最後まで読み、次にプロジェクトのコントリビューションガイドを読みます。
- 着手することを issue にコメントします — 二人が同じ作業をするのを防げます。
- リポジトリをフォークし、ブランチを切って変更します。
- issue 番号を参照したプルリクエストを送ります。
調査の方向性
まず、issue の条件付き複数代入の例を再現し、b, a = a, b の推論経路を調べます。再代入によって未知の型の診断が生成される理由を追跡し、その後、a と b の推論された型を維持したまま、snippet がその診断を報告しなくなっていることを確認します。
索引モデルが issue の本文から書いたものです。
評価
- 技術スタック
- lua
- 領域
- devtools
- issue の種類
- バグ
- 難易度
- 3/5
- 見積もり時間
- 1〜2日
- 活発さ
- 静か
- 明瞭さ
- おおむね明確
- 初心者へのやさしさ
- 55/100