x = x or y -> truthy

Author: sumneko

script/vm/compiler.lua

@@ -985,8 +985,7 @@ local compilerSwitch = util.switch()
                 elseif src.value
                 and    src.value.type == 'binary'
                 and    src.value.op and src.value.op.type == 'or'
-                and    src.value[1] and src.value[1].type == 'getlocal' and src.value[1].node == source
-                and    src.value[2] and guide.isLiteral(src.value[2]) then
+                and    src.value[1] and src.value[1].type == 'getlocal' and src.value[1].node == source then
                     -- x = x or 1
                     vm.setNode(src, vm.compileNode(src.value))
                 else

test/type_inference/init.lua

@@ -1841,6 +1841,13 @@ TEST 'integer' [[
 ---@type integer?
 local x
 
+<?x?> = x or y
+]]
+
+TEST 'integer' [[
+---@type integer?
+local x
+
 if not x then
     return
 end
@@ -1947,6 +1954,6 @@ TEST 'integer' [[
 ---@type integer?
 local x
 
-if x and <?x?>.y then
+if x and <?x?> then
 end
 ]]