For loop variables not being typed when using generalized iteration with __iter metamethod

[centau]

The typechecker seems to be unable to infer the types of variables declared in the for ... in list when using generalized iteration with the __iter metamethod defined.

[vegorov-rbx]

type Iterable = typeof(setmetatable(
    {},
    {}::{
        __iter: (self: Iterable) -> () -> (number, string)
    }
))

local t: Iterable

for a, b in t do end

[andyfriesen]

This is fixed in the new solver.