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

​​Current Status

​​Minutes and Meeting Notes

​​2018.11.26

  • ​​Updates:
  • ​​nikomatsakis:
  • ​​Rebased universes PR (#55517) a few times
  • ​​Read more into default logics, still planning a blog post
  • ​​scalexm:
  • ​​opened a PR for chalk unification routines (#56214)
  • ​​was able to type-check a bunch of simple programs in my chalk branch
  • ​​Plans for this week:
  • ​​nikomatsakis:
  • ​​Contemplating refactoring chalk to use salsa as a way to get my head back in that space and increase “accessibility” (also, laying groundwork for specialization)
  • ​​Write blog post about specialization perhaps
  • ​​
​​

​​2018.11.19

  • ​​Updates:
  • ​​tmandry
  • ​​about to push “finished” SLG solver chapter
  • ​​didn’t do much ​🙂​ 
  • ​​nikomatsakis
  • ​​Improved error messages on the universes PR (#55517)
  • ​​Read a bit into default logics; hoping to write a blog post about this + specialization in Chalk
  • ​​scalexm
  • ​​placeholder types PR should land soon
  • ​​unification routines implemented in my unification branch
  • ​​locally working on trying to actually integrate chalk engine

​​2018.11.12

  • ​​Updates
  • ​​scalexm
  • ​​use bound types in rustc_traits (PR)