The language server requires the Lua.diagnostics.globals setting to be an array of strings, while luacheck allows for a more precise configuration of existing globals — https://luacheck.readthedocs.io/en/stable/config.html#custom-sets-of-globals.
If we also allow globals-as-nested-tables configuration, we can improve the accuracy of lining, but we need to make sure it won't break other uses of this setting.