Casting with table indexer doesn't error with new solver

[Ketasaja]

Tested on 0.635

--!strict
local _t: {[number]: string} = {}
local _ = _t :: {[boolean]: boolean}

Old solver would warn TypeError: Cannot cast '{string}' into '{| [boolean]: boolean |}' because the types are unrelated.