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

Bắt đầu bằng cách tái hiện ví dụ kiểm tra kiểu được báo cáo trong issue và theo dõi cách language server xử lý các khóa bảng có kiểu là một hợp các literal chuỗi. Hoàn thành khi khóa c trong bản tái hiện được báo cáo là không hợp lệ, còn các khóa a và b vẫn hợp lệ.