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 を未定義として報告すれば完了です。