For loop variable types not inferred from generic iterator with new type solver

[Ketasaja]

--!strict
local i: {number} = {}

for j, k in next, i do -- j has type `K`, k has type `V`
end

Tested on 0.627.