bug: version in LazySpec is typed wrong

[aarondill]

Did you check docs and existing issues?

• I have read all the lazy.nvim docs
• I have searched the existing issues of lazy.nvim
• I have searched the existing issues of plugins related to this issue

Neovim version (nvim -v)

NVIM v0.10.0-dev-2539+ga69c7206

Operating system/version

Arch Linux

Describe the bug

Using ---@type LazySpec and setting version = false gives an error, since LazySpec (really LazyPluginRef) contains ---@field version? string

Steps To Reproduce

1. Setup LSP, diagnostics, and Neodev (to get lazy.nvim types)
2. input the below code into init.lua

---@type LazySpec
return {
   "someRandomString",
   version = false, -- this should work!
}

Expected Behavior

No error. The docs say to set version = false to override version handling, but the types don't reflect this possibility.

This type should actually be

---@class LazyPluginRef
---@field version? string|boolean

Repro

Not really useful for repro. See the above directions

-- DO NOT change the paths and don't remove the colorscheme
local root = vim.fn.fnamemodify("./.repro", ":p")

-- set stdpaths to use .repro
for _, name in ipairs({ "config", "data", "state", "cache" }) do
  vim.env[("XDG_%s_HOME"):format(name:upper())] = root .. "/" .. name
end

-- bootstrap lazy
local lazypath = root .. "/plugins/lazy.nvim"
if not vim.loop.fs_stat(lazypath) then
  vim.fn.system({ "git", "clone", "--filter=blob:none", "https://github.com/folke/lazy.nvim.git", lazypath, })
end
vim.opt.runtimepath:prepend(lazypath)

-- install plugins
local plugins = {
  "folke/tokyonight.nvim",
  -- add any other plugins here
}
require("lazy").setup(plugins, {
  root = root .. "/plugins",
})

vim.cmd.colorscheme("tokyonight")

--- Set up lua-language-server and neodev. I don't want to do this for such a simple issue.
---It doesn't really matter what you do with this variable, it's the type mismatch that matters.
---@type LazySpec
local plugin = {
"something",
version = false, -- ERROR!
}