# wg-traits planning meeting 2022-05-06

## announcements

* nikomatsakis: For those who don't know, we've been doing a-mir-formality walkthroughs on wednesdays. That's been great, and I hope to continue it indefinitely. I'm posting videos on YouTube (have to post the last one)
* nikomatsakis: We had "chalkification roadmap" meetings and I think we reached a decent outcome though there is some work to turn those into more concrete plans yet
* https://hackmd.io/apJgoeNOTG2E_vAxh4NvCQ
* Santiago restartd RPIT refactor work

## T-types status

* [rfc open and ready for FCP](https://github.com/rust-lang/rfcs/pull/3254)
* ...[and now in pre-FCP!](https://github.com/rust-lang/rfcs/pull/3254#issuecomment-1119603114)

## Check-ins

### type alias impl trait (TAITs)

* [things to make decisions on before stabilization](https://github.com/rust-lang/rust/issues?q=is%3Aopen+label%3AI-needs-decision+label%3AF-type_alias_impl_trait)
* [things to fix before stabilization](https://github.com/rust-lang/rust/issues?q=is%3Aopen+label%3AF-type_alias_impl_trait+assignee%3Aoli-obk)
* some diagnostics improvements and bugfixes happened in the last week

### generic associated types (GATs)

* "A shiny future with GATs" blog post: https://jackh726.github.io/rust/2022/05/04/a-shiny-future-with-gats.html
* Stabilization PR: https://github.com/rust-lang/rust/pull/96709
* A mix of feedback; many people seem concerned with the current limitations around the `for<'a> I: 'a` problem

### negative trait impls

* nikomatsakis: spastorino and I have been working slowly on a negative trait impls RFC ([draft](https://hackmd.io/ZmpF0ITPRWKx6jYxgCWS7g))

### a-mir-formality

* Goal for next month:
* develop a roadmap of remaining things and their interactions
* complete one item :)

## Deep dive planning

May 13: https://github.com/rust-lang/wg-traits/issues/42
May 20: https://github.com/rust-lang/wg-traits/issues/40
May 27: https://github.com/rust-lang/wg-traits/issues/41