Fix type inference for bitwise operators on integer variables

Bitwise operators (<<, >>, &, |, ~) on integer-typed variables
returned 'unknown' instead of 'integer'. For example:

  local a = 1 << 20  -- integer = 1048576 (OK)
  local b = a << 1   -- was: unknown, now: integer = 2097152

Two fixes:
- operator.lua: add integer type fallback for bitwise ops when
  operands are integer-typed but not literal constants (matching
  existing behavior for +, -, *, % operators)
- value.lua: vm.getInteger now traces through getlocal to the
  local definition's value when the compiled node doesn't preserve
  the literal, enabling constant folding for chained expressions

Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

Author: RomanSpector

changelog.md

@@ -4,6 +4,8 @@
 <!-- Add all new changes here. They will be moved under a version at release -->
 * `CHG` Modified the `ResolveRequire` function to pass the source URI as a third argument.
 * `CHG` Improved the output of test failures during development
+* `FIX` Fix type inference for bitwise operators (`<<`, `>>`, `&`, `|`, `~`) on integer variables
+* `FIX` Fix constant value computation for chained bitwise expressions in hover tooltips
 
 ## 3.17.1
 `2026-01-20`

script/vm/operator.lua

@@ -267,6 +267,15 @@ vm.binarySwitch = util.switch()
             end
             if node then
                 vm.setNode(source, node)
+                return
+            end
+            -- Bitwise ops on integers always produce integer
+            local uri = guide.getUri(source)
+            local infer1 = vm.getInfer(source[1])
+            local infer2 = vm.getInfer(source[2])
+            if  infer1:hasType(uri, 'integer')
+            and infer2:hasType(uri, 'integer') then
+                vm.setNode(source, vm.declareGlobal('type', 'integer'))
             end
         end
     end)

script/vm/value.lua

@@ -118,6 +118,7 @@ function vm.getInteger(v)
     end
     local node = vm.compileNode(v)
     local result
+    local hasNonInteger = false
     for n in node:eachObject() do
         if n.type == 'integer' then
             if result then
@@ -135,7 +136,18 @@ function vm.getInteger(v)
             end
         elseif n.type ~= 'local'
         and    n.type ~= 'global' then
-            return nil
+            hasNonInteger = true
+        end
+    end
+    if hasNonInteger and not result then
+        result = nil
+    end
+    -- If value not found via compiled node, try the local's
+    -- definition value directly (tracer may not preserve literals)
+    if result == nil and v.type == 'getlocal' then
+        local loc = v.node
+        if loc and loc.value then
+            return vm.getInteger(loc.value)
         end
     end
     return result

test/type_inference/common.lua

@@ -146,6 +146,16 @@ TEST 'integer' [[
 <?x?> = 1 << 2
 ]]
 
+TEST 'integer' [[
+local a = 1 << 20
+local <?b?> = a << 1
+]]
+
+TEST 'integer' [[
+local a = 1 << 20
+local <?b?> = (a << 1) - 1
+]]
+
 TEST 'unknown' [[
 <?x?> = a .. b
 ]]