Inference failure when conditionally swapping variable?

Is the following expected? Why does inference fail at all?

local a, b = 5, 8
if a < b then
   b, a = a, b
   -- ^ Unknown: cannot infer type.
end
print("(" .. a .. ", " .. b .. ")")

Provide feedback