Workspace.Library is always part of diagnosis NO MATTER what

[Kein]

I have a meta libraries/descriptors inside <project_root>/common/stubs.lua that describes some of the globals. classes, etc:

---@meta
GlobalTable = { ..props }
function DoInternalThing() end

My working sources are in `<project_root>/src/whatever.

.luarc.json

"workspace.library": [
    "common/"
]

I get the semantic hints for each object defined in stubs.lua but no matter what workspace.library diagnostic option i choose, luals still diagnoses all 773 files. All I want is hints and definition from these libraries but I dont have to see 1238 warnings and errors from these.

Is there a better solution or are we here just to suffer?

[tomlau10]

Don't know why the "diagnostics.libraryFiles": "Disable" setting seems not working 😕
Maybe there are some bugs.

I found a workaround

The current workaround that I found is to also add that folder in workspace.ignoreDir.
You may also want to set "diagnostics.ignoredFiles": "Disable"

My test setup

• lib/lib.lua

---@class lib
local lib = {}

---@return string
function lib.func() end --< this line will throw `missing-return` if diagnostics are not ignored

return lib

• main.lua

local lib = require "lib"

print(lib.func)
print(lib.func_not_exist) --< this line should throw `undefined-field`

• .luarc.jsonc

{
    "$schema": "https://raw.githubusercontent.com/sumneko/vscode-lua/master/setting/schema.json",
    "workspace.library": [
        "lib/"
    ],
    "diagnostics.libraryFiles": "Disable",  // seems not working

    // and needs to uncomment the following to work
    /*
    "workspace.ignoreDir": ["lib/"],
    "diagnostics.ignoredFiles": "Disable"
    */
}