​​Older Traits Meeting Notes

​​2019.02.11

​​
​​Specific bugs:
  • ​​some representation for const generics and lazy norm
  • ​​some (portion of) GATs
​​

​​2019.01.14

  • ​​What are “next steps” and what is blocking them?
  • ​​chalk
  • ​​extending chalk to work with salsa
  • ​​nature of work: hacking
  • ​​needs an issue, needs a person
  • ​​working out the rules for specialization in chalk
  • ​​nature of work: pen and paper, to start - ​@Sunjay V​ is interested
  • ​​reading list:
  • ​​Code in Chalk
  • ​​(Optional) Specialization blog posts - Niko’s and Aaron’s
  • ​​(Optional) There are older posts on both Niko’s and Aaron’s blogs about specialization that may become relevant later but are definitely not required now
  • ​​chalk and trait object integration
  • ​​nature of work: 
  • ​​scalexm has a good starting point, what are next steps?
  • ​​clause selection
  • ​​nature of work: hacking
  • ​​next step: integrate into rustc
  • ​​Keith Yeung has a PR and I owe them feedback - @nikomatsakis
  • ​​implied bounds flaw
  • ​​nature of work: 
  • ​​chalk-rustc integration
  • ​​unification in region constraint handling
  • ​​nature of work: hacking in rustc
  • ​​handling unification more like chalk does
  • ​​rework region constraints and constraint solver
  • ​​nature of work: pen and paper
  • ​​nikomatsakis has been thinking about this over weekend
  • ​​plan: niko will produce a write-up and we will try to have some time to talk it over next week
  • ​​rustc
  • ​​universe mapping
  • ​​nature of work: rustc hacking
  • ​​estimated time: 1 week ​🙂​ 
  • ​​nikomatsakis would mentor
  • ​​lifetime issues around returning impl Trait
  • ​​issues: XXX
  • ​​nature of work: not exactly clear :)