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

Commencez par reproduire l’exemple de vérification de types signalé dans l’issue et suivez le traitement par le language server des clés de table dont le type est une union de littéraux de chaînes. C’est terminé lorsque la clé c de la reproduction est signalée comme invalide tandis que les clés a et b restent valides.