3.4.1

Author: sumneko

changelog.md

@@ -1,5 +1,25 @@
 # changelog
 
+## 3.4.1
+`2022-7-5`
+* `NEW` settings:
+  * `type.weakNilCheck`
+* `CHG` allow type contravariance for `setmetatable` when initializing a class
+  ```lua
+  ---@class A
+  local a = {}
+
+  ---@class B: A
+  local b = setmetatable({}, { __index = a }) -- OK!
+  ```
+* `FIX` [#1256](https://github.com/sumneko/lua-language-server/issues/1256)
+* `FIX` [#1257](https://github.com/sumneko/lua-language-server/issues/1257)
+* `FIX` [#1267](https://github.com/sumneko/lua-language-server/issues/1267)
+* `FIX` [#1269](https://github.com/sumneko/lua-language-server/issues/1269)
+* `FIX` [#1273](https://github.com/sumneko/lua-language-server/issues/1273)
+* `FIX` [#1275](https://github.com/sumneko/lua-language-server/issues/1275)
+* `FIX` [#1279](https://github.com/sumneko/lua-language-server/issues/1279)
+
 ## 3.4.0
 `2022-6-29`
 * `NEW` diagnostics:

package.json

@@ -2449,6 +2449,12 @@
 					"scope": "resource",
 					"type": "boolean"
 				},
+				"Lua.type.weakNilCheck": {
+					"default": false,
+					"markdownDescription": "%config.type.weakNilCheck%",
+					"scope": "resource",
+					"type": "boolean"
+				},
 				"Lua.type.weakUnionCheck": {
 					"default": false,
 					"markdownDescription": "%config.type.weakUnionCheck%",
@@ -2701,5 +2707,5 @@
 	"sponsor": {
 		"url": "https://github.com/sumneko/lua-language-server/issues/484"
 	},
-	"version": "3.4.0"
+	"version": "3.4.1"
 }

package.nls.json

@@ -123,6 +123,7 @@
     "config.spell.dict": "Custom words for spell checking.",
     "config.telemetry.enable": "Enable telemetry to send your editor information and error logs over the network. Read our privacy policy [here](https://github.com/sumneko/lua-language-server/wiki/Privacy-Policy).\n",
     "config.type.castNumberToInteger": "Allowed to assign the `number` type to the `integer` type.",
+    "config.type.weakNilCheck": "When checking the type of union type, ignore the `nil` in it.\n\nWhen this setting is `false`, the `number|nil` type cannot be assigned to the `number` type. It can be with `true`.\n",
     "config.type.weakUnionCheck": "Once one subtype of a union type meets the condition, the union type also meets the condition.\n\nWhen this setting is `false`, the `number|boolean` type cannot be assigned to the `number` type. It can be with `true`.\n",
     "config.window.progressBar": "Show progress bar in status bar.",
     "config.window.statusBar": "Show extension status in status bar.",

package.nls.pt-br.json

@@ -123,6 +123,7 @@
     "config.spell.dict": "Custom words for spell checking.",
     "config.telemetry.enable": "Enable telemetry to send your editor information and error logs over the network. Read our privacy policy [here](https://github.com/sumneko/lua-language-server/wiki/Privacy-Policy).\n",
     "config.type.castNumberToInteger": "Allowed to assign the `number` type to the `integer` type.",
+    "config.type.weakNilCheck": "When checking the type of union type, ignore the `nil` in it.\n\nWhen this setting is `false`, the `number|nil` type cannot be assigned to the `number` type. It can be with `true`.\n",
     "config.type.weakUnionCheck": "Once one subtype of a union type meets the condition, the union type also meets the condition.\n\nWhen this setting is `false`, the `number|boolean` type cannot be assigned to the `number` type. It can be with `true`.\n",
     "config.window.progressBar": "Show progress bar in status bar.",
     "config.window.statusBar": "Show extension status in status bar.",

package.nls.zh-cn.json

@@ -123,6 +123,7 @@
     "config.spell.dict": "拼写检查的自定义单词。",
     "config.telemetry.enable": "启用遥测，通过网络发送你的编辑器信息与错误日志。在[此处](https://github.com/sumneko/lua-language-server/wiki/%E9%9A%90%E7%A7%81%E5%A3%B0%E6%98%8E)阅读我们的隐私声明。\n",
     "config.type.castNumberToInteger": "允许将 `number` 类型赋给 `integer` 类型。",
+    "config.type.weakNilCheck": "对联合类型进行类型检查时，忽略其中的 `nil`。\n\n此设置为 `false` 时，`numer|nil` 类型无法赋给 `number` 类型；为 `true` 是则可以。\n",
     "config.type.weakUnionCheck": "联合类型中只要有一个子类型满足条件，则联合类型也满足条件。\n\n此设置为 `false` 时，`number|boolean` 类型无法赋给 `number` 类型；为 `true` 时则可以。\n",
     "config.window.progressBar": "在状态栏显示进度条。",
     "config.window.statusBar": "在状态栏显示插件状态。",

package.nls.zh-tw.json

@@ -123,6 +123,7 @@
     "config.spell.dict": "拼寫檢查的自訂單詞。",
     "config.telemetry.enable": "啟用遙測，透過網路發送你的編輯器資訊與錯誤日誌。在[此處](https://github.com/sumneko/lua-language-server/wiki/%E9%9A%B1%E7%A7%81%E8%81%B2%E6%98%8E)閱讀我們的隱私聲明。\n",
     "config.type.castNumberToInteger": "允許將 `number` 類型賦值給 `integer` 類型。",
+    "config.type.weakNilCheck": "When checking the type of union type, ignore the `nil` in it.\n\nWhen this setting is `false`, the `number|nil` type cannot be assigned to the `number` type. It can be with `true`.\n",
     "config.type.weakUnionCheck": "同位類型中只要有一個子類型滿足條件，則同位類型也滿足條件。\n\n此設定為 `false` 時，`number|boolean` 類型無法賦給 `number` 類型；為 `true` 時則可以。\n",
     "config.window.progressBar": "在狀態欄顯示進度條。",
     "config.window.statusBar": "在狀態欄顯示延伸模組狀態。",

package/build.lua

@@ -1,6 +1,6 @@
 local json = require 'json-beautify'
 
-local VERSION = "3.4.0"
+local VERSION = "3.4.1"
 
 local package = require 'package.package'
 local fsu     = require 'fs-utility'

server

@@ -2633,6 +2633,9 @@
                 "castNumberToInteger": {
                     "$ref": "#/properties/type.castNumberToInteger"
                 },
+                "weakNilCheck": {
+                    "$ref": "#/properties/type.weakNilCheck"
+                },
                 "weakUnionCheck": {
                     "$ref": "#/properties/type.weakUnionCheck"
                 }
@@ -2644,6 +2647,12 @@
             "scope": "resource",
             "type": "boolean"
         },
+        "type.weakNilCheck": {
+            "default": false,
+            "markdownDescription": "When checking the type of union type, ignore the `nil` in it.\n\nWhen this setting is `false`, the `number|nil` type cannot be assigned to the `number` type. It can be with `true`.\n",
+            "scope": "resource",
+            "type": "boolean"
+        },
         "type.weakUnionCheck": {
             "default": false,
             "markdownDescription": "Once one subtype of a union type meets the condition, the union type also meets the condition.\n\nWhen this setting is `false`, the `number|boolean` type cannot be assigned to the `number` type. It can be with `true`.\n",

setting/schema-pt-br.json

@@ -2633,6 +2633,9 @@
                 "castNumberToInteger": {
                     "$ref": "#/properties/type.castNumberToInteger"
                 },
+                "weakNilCheck": {
+                    "$ref": "#/properties/type.weakNilCheck"
+                },
                 "weakUnionCheck": {
                     "$ref": "#/properties/type.weakUnionCheck"
                 }
@@ -2644,6 +2647,12 @@
             "scope": "resource",
             "type": "boolean"
         },
+        "type.weakNilCheck": {
+            "default": false,
+            "markdownDescription": "对联合类型进行类型检查时，忽略其中的 `nil`。\n\n此设置为 `false` 时，`numer|nil` 类型无法赋给 `number` 类型；为 `true` 是则可以。\n",
+            "scope": "resource",
+            "type": "boolean"
+        },
         "type.weakUnionCheck": {
             "default": false,
             "markdownDescription": "联合类型中只要有一个子类型满足条件，则联合类型也满足条件。\n\n此设置为 `false` 时，`number|boolean` 类型无法赋给 `number` 类型；为 `true` 时则可以。\n",