WG-Traits Planning Meeting

Context & Background About Chalk

  • The (mostly up-to-date) guide to how the new trait solving system is going to work
  • Explains the basic concepts at play
  • An introduction to unification
  • Extending the system for associated types
  • How to prove that something is not true
  • The basic chalk query structure, with pointers into the chalk implementation
  • Handling cyclic relations and enabling the implementation of implied bounds and other long-desired features in an elegant way

Sprint docs