Using LuaJIT's nil-coalescing extension does not narrow the type correctly

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

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

評価

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

調査の方向性

まず、提供された ?? の例を使って lua-language-server の型チェッカーで問題を再現し、次に推論された型を同等の or 式の型と比較します。nil-coalescing 式が nullable オペランドをどのように処理するかを追跡します。bar が integer と推論され、比較ケースに対する既存の動作が正しいままであれば完了です。

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

説明

How are you using the lua-language-server?

Other

Which OS are you using?

Linux

What is the issue affecting?

Type Checking

Expected Behaviour

Using the nil-coalescing operator should narrow an expressions type. For example, in this sample code, the type of b should be narrowed to integer:

---@type integer?
local foo = 1
local bar = foo ?? 2
Actual Behaviour

Instead of the type being narrowed, the type of foo is copied instead, and the type of bar is thought to be integer? instead of integer.

Reproduction steps
  1. Insert the following sample code in a project:
---@type integer?
local foo = 1
local bar = foo ?? 2
  1. Check the type of b
Additional Notes

This seems to work fine using the classic Lua approach with or:

---@type integer?
local foo = 1
local bar = foo or 2

The type of bar is integer here, as expected.

Log File

No response

主要言語
Lua
スター
4.4k
フォーク
442
平均マージ
8日 9時間
マージ済み PR（30日）
1

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

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

はじめの一歩

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

LuaLS/lua-language-server のほかの issue

LuaLS/lua-language-server の issue をすべて見る

似ている issue

Lua の issue をもっと見る

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

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