# Types team updates

## Next trait solver

## Async and `impl Trait`

## `a-mir-formality`

## Fixing soundness issues

## Polonius

## Const Generics

TODO: Boxy

See this other big blog post: TO BE WRITTEN