owned this note changed 2 years ago
Published Linked with GitHub

What do we want to talk about

SEE https://hackmd.io/cO1NJWTHTVihbE0UCWyRfg for the final doc

TODO: go through last years doc for remaining open topics https://hackmd.io/nNC_Z6nVSpW-ANkpJdSgpg?both

Topic suggestions

  • Check on roadmap progress
  • -Ztrait-solver=next-coherence stabilization, going through all decisions we have to make before that. @lcnr @compiler-errors to prepare
  • -Ztrait-solver=next typechecking status
    Image Not Showing Possible Reasons
    • The image file may be corrupted
    • The server hosting the image is unavailable
    • The image path is incorrect
    • The image format is not supported
    Learn More →
    we'll see what will be important there
  • going through the backlog of accepted, yet unstable, type system features
    • #[refine] attribute
  • do we want types-contributors, organizational improvements
  • "where do we see Rust in 5 years" vibeck
  • Polonius & borrowck
  • Specification planning
  • @lcnr: required steps for stabilization, use #65991 as an example
  • responsibilities and purpose of the types team and the requirements for team members.
  • a-mir-formality something roadmap, explanations
  • lazy normalization check
  • any goals and region checking

Organizational

  • Retrospective / Organizational overview
    • Here are some suggestions for things that could change
  • Types contributors
  • Stabilization
  • Retrospective

Rough outline

@lcnr: I think we should keep at least half of that day open to allow us to use it in case something comes up during the meetup itself or we need more time to discuss other topics.

mir-formality

jackh726: useful to have a roadmap + what parts we expect to require novelty, where things diverge from rustc

what do we want to leave the meetup with?

  • what is blocking next-coherence, path to stabilization for that
  • what is blocking TAIT, path to stabilization for that
  • what is blocking polonius, path to stabilization for that
  • alignment on mir-formality roadmap
    • stabilization process
Select a repo