[Feature-Request/Question] Hide diagnostics while keeping require definitions for project files

I have a project, where I use luarocks with modules directly installed in the projects folder (similar to how npm does it), which is handy for adding require paths, however what should I do, if they raise warnings?

I tried the following:

{
	"Lua.runtime.version": "LuaJIT",
	"Lua.workspace.library": [
		"${3rd}/love2d/library",
		"${3rd}/lfs/library",
		"${workspaceFolder}/lua_modules"
	],
	"Lua.runtime.path": [
		"src/?.lua",
		"src/?/init.lua",
		"doc/?.lua",
		"${workspaceFolder}/share/lua/5.1/?.lua",
		"${workspaceFolder}/share/lua/5.1/?/init.lua"
	],
	"Lua.workspace.ignoreDir": [
		"extern",
		"lua_modules" // Need option to ignore diagnostics, but keep definitions
	],
	"Lua.diagnostics.libraryFiles": "Disable",
}

まず、issue に示されている設定を入口として、Lua.workspace.ignoreDir と Lua.diagnostics.libraryFiles がどのように扱われているかを調べます。lua_modules が診断から除外される仕組みと、require パス用にその定義が引き続き検出される仕組みを追跡します。プロジェクトローカルのモジュールを定義で引き続き利用でき、同時にそれらの警告が抑制されれば完了です。issue ではファイルやテストは指定されていません。