Inference failure when conditionally swapping variable?

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

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