0.619

What's Changed

New Type Solver

• Many fixes to crashes, assertions, and hangs
• Binary type family aliases now have a default parameter
• Added a debug check for unsolved types escaping the constraint solver
• Overloaded functions are no longer inferred
• Unification creates additional subtyping constraints for blocked types
• Attempt to guess the result type for type families that are too large to resolve timely

Native Code Generation

• Fixed IrCmd::CHECK_TRUTHY lowering in a specific case
• Detailed compilation errors are now supported
• More work on the new allocator

---

Internal Contributors

Co-authored-by: Aaron Weiss [email protected]
Co-authored-by: Alexander McCord [email protected]
Co-authored-by: Andy Friesen [email protected]
Co-authored-by: James McNellis [email protected]
Co-authored-by: Lily Brown [email protected]
Co-authored-by: Vyacheslav Egorov [email protected]