supports ---@type (string|integer)[]

Author: sumneko

changelog.md

@@ -6,6 +6,7 @@
   + `type-check`: removed for now
   + `no-implicit-any`: renamed to `no-unknown`
 * `CHG` formatter: no longer need` --preview`
+* `CHG` `LuaDoc`: supports `---@type (string|integer)[]`
 * `FIX` semantic: color of `function`
 * `FIX` [#1027](https://github.com/sumneko/lua-language-server/issues/1027)
 * `FIX` [#1028](https://github.com/sumneko/lua-language-server/issues/1028)

script/parser/luadoc.lua

@@ -598,13 +598,24 @@ local function parseBoolean(parent)
     return boolean
 end
 
+local function parseParen(parent)
+    if not checkToken('symbol', '(', 1) then
+        return
+    end
+    nextToken()
+    local tp = parseType(parent)
+    nextSymbolOrError(')')
+    return tp
+end
+
 function parseTypeUnit(parent)
     local result = parseFunction(parent)
                 or parseTable(parent)
                 or parseString(parent)
                 or parseInteger(parent)
                 or parseBoolean(parent)
                 or parseDots('doc.type.name', parent)
+                or parseParen(parent)
     if not result then
         local literal = checkToken('symbol', '`', 1)
         if literal then

script/vm/infer.lua

@@ -111,7 +111,11 @@ local viewNodeSwitch = util.switch()
     : case 'doc.type.array'
     : call(function (source, infer)
         infer._hasClass = true
-        return m.getInfer(source.node):view() .. '[]'
+        local view = m.getInfer(source.node):view()
+        if source.node.type == 'doc.type' then
+            view = '(' .. view .. ')'
+        end
+        return view .. '[]'
     end)
     : case 'doc.type.table'
     : call(function (source, infer)

test/type_inference/init.lua

@@ -1434,3 +1434,8 @@ local t = { 'x' }
 
 local <?x?> = t[#t]
 ]]
+
+TEST '(string|integer)[]' [[
+---@type (string|integer)[]
+local <?x?>
+]]