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

Beginne damit, das gemeldete Type-Checking-Beispiel im Issue zu reproduzieren, und verfolge die Verarbeitung von Tabellenschlüsseln durch den Language Server, deren Typ eine String-Literal-Union ist. Erledigt ist die Aufgabe, wenn der Schlüssel c in der Reproduktion als ungültig gemeldet wird, während die Schlüssel a und b gültig bleiben.