search

rust-lang / types-team

Home of the "types team", affiliated with the compiler and lang teams.
https://rust-lang.github.io/types-team/
Apache License 2.0
94 stars 19 forks source link

Minimal version of TAITs #107

Open nikomatsakis opened 11 months ago

nikomatsakis commented 11 months ago

TAIT presently has distinct behavior in the old and new trait solver, primarily in edge cases. In the 2023 types team meetup, we identified a subset of TAIT that we believe could be stabilized promptly, sidestepping these edge cases.

oli-obk commented 11 months ago

I added all the remaining items to the TODO list of the TAIT stabilization github project: https://github.com/orgs/rust-lang/projects/22/views/1

oli-obk commented 7 months ago

We're focussing on stabilizing opaque types in associated types of trait impls. These have much clearer scoping rules (just the impl). See https://github.com/rust-lang/rust/pull/119766