Associated type bounds - Githubissues

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

Associated type bounds #88

Closed nikomatsakis closed 12 months ago

nikomatsakis commented 1 year ago

Summary

Figure out a plan around stabilization (or removal) of assoc type bounds

the current implementation
issues of the current approach
what's needed to make progress here

Rationale

These are a key part of the story for associated return types (neé Return Type Notation, or RTN). They've been RFC'd and (sort of) implemented for a while. What does it take to feel comfortable stabilizing? Is there a clear MVP?

BoxyUwU commented 1 year ago

This deep dive will be taking place on 21/8/2023. It was scheduled here

BoxyUwU commented 12 months ago

this took place. It is unclear to me if there is still more to talk about or not as I was not super present at this meeting

jackh726 commented 12 months ago

I'm working on splitting out a feature gate for associated type bounds in associated types. Other than that, I think we concluded in the meeting that we're comfortable moving forward with stabilization. Don't think we need another meeting.