0.635

What's Changed?

• Bugfixes in the new solver
• Store definitionLocation in ClassType by @JohnnyMorganz in #1313
• Optimizations for UnionFind by @birds3345 in #1334

New Solver

• Equality graphs(E-Graphs) data structures were added
• Refactored even more instances of "type family" with "type function"
• table.insert no longer spuriously warns while selecting an overload for reasonable arguments.
• Add time tracing for the new solver
• Miscellaneous fixes to unit tests

---

Internal Contributors

Co-authored-by: Aaron Weiss [email protected]
Co-authored-by: Alexander McCord [email protected]
Co-authored-by: Jeremy Yoo [email protected]
Co-authored-by: Vighnesh Vijay [email protected]
Co-authored-by: Vyacheslav Egorov [email protected]

---

Full Changelog: 0.634...0.635