Undefined global: vim, hs, mp, anything implicitly defined by a parent

How are you using the lua-language-server?

NeoVim

Which OS are you using?

MacOS

What is the issue affecting?

Diagnostics/Syntax Checking

Expected Behaviour

LuaLS should have an annotation to assume a global is already defined. I looked in the documentation and didn't see one, but correct me if I'm wrong.

Actual Behaviour

In Neovim, vim is defined as a global in the Lua init file, which LuaLS complains about. This is frequently worked around by adding it as a global setting to LuaLS, but imo this is a monkey patch because non-Neovim Lua code may benefit from a diagnostic for a missing vim global.

It also doesn't help for other programs that embed Lua and define their own globals. HammerSpoon defines hs and mpv defines mp. In these cases the diagnostic can be circumvented with a require but it's not idiomatic in these domains and doesn't work for Neovim.

Reproduction steps

1. Edit NeoVim, HammerSpoon, or mpv script
2. Add vim, hs, or mp to the respective script
3. Run LuaLS on the script

Additional Notes

No response

Log File

No response

No source files or tests are named. Start by tracing LuaLS diagnostics and the existing global-setting configuration, then determine how parent-provided globals should be declared; done means Neovim, Hammerspoon, and mpv globals can be recognized without suppressing undefined-global diagnostics for unrelated names.