---
# System prepended metadata

title: Types team "hardcore" changes (FCPs)

---

# Types team "hardcore" changes (FCPs)

[Github link to FCPs](https://github.com/rust-lang/rust/issues?q=label%3Afinished-final-comment-period+label%3AT-types)

## 2222-11-22 (2022-11-23)

14 Issues

### 13 merged/disposition-merge
* [Add `IMPLIED_BOUNDS_ENTAILMENT` lint](https://github.com/rust-lang/rust/pull/105575)
* [Check ADT fields for copy implementations considering regions](https://github.com/rust-lang/rust/pull/105102)
* [Find the right lower bound region in the scenario of partial order relations](https://github.com/rust-lang/rust/pull/104765)
* [make order_dependent_trait_objects show up in future-breakage reports](https://github.com/rust-lang/rust/issues/102635)
* [Don't normalize in AstConv](https://github.com/rust-lang/rust/pull/101947)
* [Elaborate supertrait obligations when deducing closure signatures](https://github.com/rust-lang/rust/issues/101834)
* [Allow transmutes between the same types after erasing lifetimes](https://github.com/rust-lang/rust/issues/101520)
* [Handle projections as uncovered types during coherence check](https://github.com/rust-lang/rust/issues/100555)
* [Make Sized coinductive, again](https://github.com/rust-lang/rust/issues/100386)
* [Make typeck aware of uninhabited types](https://github.com/rust-lang/rust/issues/100288)
* [Register wf obligation before normalizing in wfcheck](https://github.com/rust-lang/rust/issues/100046)
* [relate closure_substs.parent_substs() to parent fn in NLL](https://github.com/rust-lang/rust/issues/98835)
* [lub: don't bail out due to empty binders](https://github.com/rust-lang/rust/issues/97867)
* [Make outlives::{components,verify} agree](https://github.com/rust-lang/rust/issues/97406)
* [Remove a back-compat hack on lazy TAIT](https://github.com/rust-lang/rust/issues/97346)
* [Stabilize generic associated types](https://github.com/rust-lang/rust/issues/96709)
* [Neither require nor imply lifetime bounds on opaque type for well formedness](https://github.com/rust-lang/rust/issues/95474)

### 1 closed
* [Propagate deref coercion into block](https://github.com/rust-lang/rust/issues/83850)
