wrong type from if-else block

[phanen]

local a
local f = function()
  if a > 1 then
    return 1
  else
    return 2
  end
end

local b = f()
assert(b)

Expected: b is always truthy
Actual: (1|2)?