• prototype NLL inference infrastructure Sep 28
  • Extract queries for the trait system operations that are performed in trans Sep 27
  • [NLL] extend mir-dump to dump out the values of each region Sep 26
  • [NLL] store a value for each region Sep 26
  • resolve how to handle constants and default binding modes Sep 25
  • Resolve how to handle coercions and the like under default binding modes Sep 25
  • Autoreferencing copy types Sep 21
  • Tracking issue: Allow autoderef and autoref in operators (experiment) Sep 21
  • In-band lifetimes: Lint against single-use lifetime names Sep 21
  • refactor `impl trait` to model `abstract type` a bit better Sep 20
  • filter lifetimes in impl Trait Sep 20
  • support singleton queries Sep 19
  • 10% regression in the `issue-43572-unused-uses` test case Sep 14
  • "these two types are declared with different lifetimes..." not triggering within structs Sep 11
  • suggest adding a where-clause Sep 11
  • region errors: suggest new signature Sep 11
  • unsoundness relating to WF requirements on trait object types Sep 9
  • inhabitedness cache handles cycles incorrectly Sep 7
  • enable mir inlining across trait methods Sep 7
  • model the algorithm for normalizing when trait is unknown Sep 27