Global in one file affects diagnostics in another

How are you using the lua-language-server?

Visual Studio Code Extension (sumneko.lua)

Which OS are you using?

Windows

What is the issue affecting?

Diagnostics/Syntax Checking

Expected Behaviour

If I have 1.lua:

function Main()
    foobar = 1
end

and 2.lua:

function Main()
    print(foobar)
end

in the same workspace/directory.

I would expect 2.lua to show foobar as undefined (unless I explicitly require 1.lua)

Actual Behaviour

No error is shown.

Additional Notes

This might be a pecularity of how I'm using lua (each file defines a separate plugin) but I would be surprised if this is an uncommon usage pattern. At the very least there should be a way to configure the behaviour.

Also - I'd be curious to understand the thinking behind the existing behaviour?

在同一個 workspace 中使用 1.lua 和 2.lua 重現 Visual Studio Code extension 中的範例，然後追蹤 language server 如何在檔案之間共用全域變數。判斷明確使用 require 應如何影響診斷，以及是否需要設定選項。當 1.lua 未被明確 require 時，2.lua 回報 foobar 未定義，即表示完成。