​​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

​​