Using a union of string literals as a table key doesn't force use of the keys

How are you using the lua-language-server?

NeoVim

Which OS are you using?

Linux

What is the issue affecting?

Type Checking

Expected Behaviour

---@alias SomeUnion
--- | 'a'
--- | 'b'

---@type table<SomeUnion, number>
local a

should work roughly like

---@class (exact) SomeUnion
---@field a number
---@field b number
local a

Actual Behaviour

Reproduction steps

---@alias SomeUnion
--- | 'a'
--- | 'b'

---@type table<SomeUnion, number>
local a = {
  c = "should be invalid"
}

Additional Notes

No response

Log File

No response

まず、issue で報告された型チェックの例を再現し、型が文字列リテラルのユニオンであるテーブルキーを language server がどのように処理するかを追跡します。再現例の c キーが無効と報告され、a キーと b キーは有効なままであれば完了です。