---
tags: weekly-meeting
---

# 2022-08-07 Planning meeting

## Updates

### RPITIT refactoring

It's done. We already had the deep dive meeting and a chapter for Rustc Dev Guide was merged. Most (all) open issues due to this new implementation (which were not many) are already fixed too.

### AFIT/RPITIT stabilization

### TAITs

* 3 blocking issues actively being worked on
* 3 blocking issues still TODO
* need to write an RFC for making TAITs capture all lifetimes (in contrast to RPIT, which only captures those mentioned in the `impl Trait`). See https://hackmd.io/sFaSIMJOQcuwCdnUvCxtuQ?view for the lang team discussion on this topic.
*

### a-mir-formality

* has a ui test suite now
* supports const generics

### Subtyping refactor

blocked on new solver

### Implied bounds

mostly blocked on new solver, there's still some open work by aliemjay, not sure what's the status there.

### Trait solver refactor

Work is going well. Had a first coherence crater run and perf run. While there are still some known blockers, quickly stabilizing `-Ztrait-solver=next-coherence` after the EuroRust meetup feels likely.

### Trait object upcasting

### Negative impls

We haven't done much progress on this project, we need to meet with Niko but Michael has opened a PR to change coherence for negative impls to use the new trait solver which allows us to deal with inference variables in the param_env.

### Polonius

### chalk-ty

## Nominated issues

1 open: https://github.com/rust-lang/rust/labels/I-types-nominated

### [Account for late-bound lifetimes in generics](https://github.com/rust-lang/rust/pull/103448)

Discussed previously, do we unnominate?

## Types FCPs

4 ongoing: https://github.com/rust-lang/rust/issues?q=is%3Aopen+label%3AT-types+label%3Aproposed-final-comment-period

### [Enable -Zdrop-tracking-mir by default](https://github.com/rust-lang/rust/pull/107421)

### [Resolve inherent associated functions & constants defined on function pointer types](https://github.com/rust-lang/rust/pull/108347)

### [stop adding dropck outlives requirements for [T; 0] ](https://github.com/rust-lang/rust/issues/110288)

### [relax leak-check](https://github.com/rust-lang/rust/pull/112999)

## Deep dive planning

14 proposals: https://github.com/rust-lang/types-team/issues?q=is%3Aissue+is%3Aopen+label%3Adeep-dive-proposal