#1148 view table after erasing alias

Author: sumneko

script/vm/infer.lua

@@ -220,6 +220,13 @@ function mt:_eraseAlias(uri)
                 if set.type == 'doc.alias' then
                     if expandAlias then
                         drop[n.name] = true
+                        local newInfer = {}
+                        for _, ext in ipairs(set.extends.types) do
+                            viewNodeSwitch(ext.type, ext, newInfer)
+                        end
+                        if newInfer._hasTable then
+                            self.views['table'] = true
+                        end
                     else
                         for _, ext in ipairs(set.extends.types) do
                             local view = viewNodeSwitch(ext.type, ext, {})

test/type_inference/init.lua

@@ -2349,3 +2349,24 @@ TEST 'number' [[
 for <?x?> in _ do
 end
 ]]
+
+TEST 'table' [[
+---@alias tp table
+
+---@type tp
+local <?x?>
+]]
+
+TEST 'table' [[
+---@alias tp {name: boolean}
+
+---@type tp
+local <?x?>
+]]
+
+TEST 'boolean|table' [[
+---@alias tp boolean | {name: boolean}
+
+---@type tp
+local <?x?>
+]]