nvim: fix some minor linting issues.

nvim/lua/user/lazy.lua

@@ -1,5 +1,6 @@
 
 local lazypath = vim.fn.stdpath("data") .. "/lazy/lazy.nvim"
+---@diagnostic disable-next-line: undefined-field
 if not (vim.uv or vim.loop).fs_stat(lazypath) then
     local lazyrepo = "https://github.com/folke/lazy.nvim.git"
     local out = vim.fn.system({ "git", "clone", "--filter=blob:none", "--branch=stable", lazyrepo, lazypath })

nvim/lua/user/options.lua

@@ -95,8 +95,9 @@ vim.diagnostic.config({
         },
     },
     float = {
+        ---@diagnostic disable-next-line: assign-type-mismatch
         border = { " " },
-        header = false,
+        header = "",
         source = true,
     }
 })
@@ -105,7 +106,7 @@ vim.diagnostic.config({
 -- Extras
 -------------------------------------------------------
 
-user = {}
+user = {} ---@diagnostic disable-line: lowercase-global
 
 user.highlight_yank = {
     enable = true,