type check: supports array part in literal table

resolve #1374

Author: sumneko

changelog.md

@@ -141,6 +141,11 @@ server will generate `doc.json` and `doc.md` in `LOGPATH`.
 
   x = y --> Warning: Cannot assign `<string, number>` to `<string, string>`
   ```
+* `CHG` [#1374] type check: supports array part in literal table
+  ```lua
+  ---@type boolean[]
+  local t = { 1, 2, 3 } --> Warning: Cannot assign `integer` to `boolean`
+  ```
 * `FIX` [#1479]
 * `FIX` [#1480]
 * `FIX` [#1567]
@@ -159,6 +164,7 @@ server will generate `doc.json` and `doc.md` in `LOGPATH`.
 [#1202]: https://github.com/sumneko/lua-language-server/issues/1202
 [#1332]: https://github.com/sumneko/lua-language-server/issues/1332
 [#1344]: https://github.com/sumneko/lua-language-server/issues/1344
+[#1374]: https://github.com/sumneko/lua-language-server/issues/1374
 [#1434]: https://github.com/sumneko/lua-language-server/issues/1434
 [#1457]: https://github.com/sumneko/lua-language-server/issues/1457
 [#1458]: https://github.com/sumneko/lua-language-server/issues/1458

script/core/diagnostics/assign-type-mismatch.lua

@@ -12,7 +12,8 @@ local checkTypes = {
     'setindex',
     'setmethod',
     'tablefield',
-    'tableindex'
+    'tableindex',
+    'tableexp',
 }
 
 ---@param source parser.object

script/vm/compiler.lua

@@ -1343,7 +1343,8 @@ local compilerSwitch = util.switch()
         if not hasMarkDoc then
             vm.compileByParentNode(source.node, guide.getKeyName(source), false, function (src)
                 if src.type == 'doc.field'
-                or src.type == 'doc.type.field' then
+                or src.type == 'doc.type.field'
+                or src.type == 'doc.type.name' then
                     hasMarkDoc = true
                     vm.setNode(source, vm.compileNode(src))
                 end
@@ -1362,15 +1363,18 @@ local compilerSwitch = util.switch()
     end)
     : case 'tableexp'
     : call(function (source)
-        if (source.parent.type == 'table') then
-            local node = vm.compileNode(source.parent)
-            for n in node:eachObject() do
-                if n.type == 'doc.type.array' then
-                    vm.setNode(source, vm.compileNode(n.node))
-                end
+        local hasMarkDoc
+        vm.compileByParentNode(source.parent, source.tindex, false, function (src)
+            if src.type == 'doc.field'
+            or src.type == 'doc.type.field'
+            or src.type == 'doc.type.name' then
+                hasMarkDoc = true
+                vm.setNode(source, vm.compileNode(src))
             end
+        end)
+        if not hasMarkDoc then
+            vm.setNode(source, vm.compileNode(source.value))
         end
-        vm.setNode(source, vm.compileNode(source.value))
     end)
     : case 'function.return'
     ---@param source parser.object

test/diagnostics/type-check.lua

@@ -942,6 +942,20 @@ local function bar(opts)
 end
 ]]
 
+TEST [[
+---@type {[1]: string, [10]: number, xx: boolean}
+local t = {
+    <!true!>,
+    <![10]!> = 's',
+    <!xx!> = 1,
+}
+]]
+
+TEST [[
+---@type boolean[]
+local t = { <!1!>, <!2!>, <!3!> }
+]]
+
 config.remove(nil, 'Lua.diagnostics.disable', 'unused-local')
 config.remove(nil, 'Lua.diagnostics.disable', 'unused-function')
 config.remove(nil, 'Lua.diagnostics.disable', 'undefined-global')