It's been half a year since we last summarized our progress in the Types Team update blog post. With the next-generation trait solver now getting used by default in coherence checking on beta1, it's time for another update. The next-generation trait solver is intended to fully replace the existing type system components responsible for proving trait bounds, normalizing associated types, and muc…
« first day (3704 days earlier) ← previous day next day → last day (47 days later) »