Opened this issue 2 months ago · 0 comments
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.
TypeError: Cannot cast '{string}' into '{| [boolean]: boolean |}' because the types are unrelated