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

Inizia riproducendo l’esempio di controllo dei tipi riportato nell’issue e traccia la gestione da parte del language server delle chiavi di tabella il cui tipo è un’unione di valori letterali stringa. Il lavoro è completato quando la chiave c nella riproduzione viene segnalata come non valida, mentre le chiavi a e b rimangono valide.