Closed alexmccord closed 5 months ago
emplace
emplaceType
SetIndexerConstraint
ClassType
~{}
any
IterableConstraint
__iter
Co-authored-by: Aaron Weiss aaronweiss@roblox.com Co-authored-by: Alexander McCord amccord@roblox.com Co-authored-by: Andy Friesen afriesen@roblox.com Co-authored-by: James McNellis jmcnellis@roblox.com Co-authored-by: Vighnesh Vijay vvijay@roblox.com Co-authored-by: Vyacheslav Egorov vegorov@roblox.com
What's changed?
New Type Solver
emplace
withemplaceType
to catch cyclic bound types when they are created.SetIndexerConstraint
is blocked until the indexer result type is not blocked.ClassType
s.~{}
.any
was a parameter of some checked function in nonstrict type checker.IterableConstraint
now consider tables without__iter
to be iterables.Native Code Generation
Internal Contributors
Co-authored-by: Aaron Weiss aaronweiss@roblox.com Co-authored-by: Alexander McCord amccord@roblox.com Co-authored-by: Andy Friesen afriesen@roblox.com Co-authored-by: James McNellis jmcnellis@roblox.com Co-authored-by: Vighnesh Vijay vvijay@roblox.com Co-authored-by: Vyacheslav Egorov vegorov@roblox.com