1. 👋 Welcome
  2. 📜 Charter
  3. 🏗️ MVP Stabilization
    ❱
    1. Concern: GATs permit abstractions that make Rust harder to use
    2. Concern: GATs are too hard to learn, especially in their current state
    3. Concern: we should stabilize lifetime GATs only
    4. Concern: not confident the current MVP is backwards compatible
    5. Concern: Do we have the right rules for required bounds?
  4. 📚 Explainer
    ❱
    1. Why GATs?
    2. Defining and implementing the Iterable trait with GATs
    3. GATs in where-clauses
    4. Rough edges
      ❱
      1. Required bounds
      2. No implied bounds on HRTB
  5. 🔮 Shiny future
    ❱
    1. Defining and implementing the Iterable trait with GATs
    2. GATs in where-clauses
    3. Proposals
  6. ✍️ Design patterns
    ❱
    1. Iterable and lending iterators
    2. Many modes
    3. Generic scopes
    4. Pointer types
  7. 💬 Design discussions
    ❱
    1. 💬 Outlives defaults
      ❱
      1. Initial write-up
    2. 💬 Where does the where clause go?
      ❱
      1. Initial write-up
    3. 💬 Are GATs too complex?
    4. 💬 Should GATs only support lifetime parameters?
  8. 😕 FAQ

Generic Associated Types Initiative

😕 FAQ