fix

Author: sumneko

script/vm/compiler.lua

@@ -1270,7 +1270,7 @@ local compilerSwitch = util.switch()
             ---@cast key string
             vm.compileByParentNode(source.node, key, function (src)
                 vm.setNode(source, vm.compileNode(src))
-                if src == source and source.value then
+                if src == source and source.value and source.value.type ~= 'nil' then
                     vm.setNode(source, vm.compileNode(source.value))
                 end
             end)

script/vm/global.lua

@@ -552,7 +552,7 @@ function vm.compileByGlobal(source)
             if vm.bindDocs(source) then
                 return true
             end
-            if source.value then
+            if source.value and source.value.type ~= 'nil' then
                 vm.setNode(source, vm.compileNode(source.value))
                 return true
             end

test/type_inference/init.lua

@@ -3407,12 +3407,12 @@ TEST '{ [string]: number, [true]: string, [1]: boolean, tag: integer }' [[
 local <?t?>
 ]]
 
-TEST 'nil' [[
+TEST 'unknown' [[
 local mt = {}
 mt.<?x?> = nil
 ]]
 
-TEST 'nil' [[
+TEST 'unknown' [[
 mt = {}
 mt.<?x?> = nil
 ]]
@@ -4189,3 +4189,13 @@ X.Y = 1
 
 print(X.<?Y?>)
 ]]
+
+TEST 'integer' [[
+local x = {}
+
+x.y = 1
+local y = x.y
+x.y = nil
+
+print(<?y?>)
+]]