The Rust development team officially announced the new types team.  The team was established at the end of May last year, and the post shares the team's accomplishments in seven months of activity.   The new team is currently working on formalizing the Rust typesystem called a-mir-formality and an initiative for writing a new trait solver in-tree.  Chalk, designed to be a trait solver, will no longer be the team's focus. However, Rust will continue to support Chalk for rust-analyzer and as a tool for experimentation.  The post from the Rust team said it would be hugely beneficial to have a formalized definition of the type system, regardless of its potential integration into a more general specification.  The Rust team has split what it aims to achieve into four milestones and expects a-mir-formality passes 99.9% of the Rust test suite.