Fixing Rust compiler errors: precise closure capture clauses

An alias-based formulation of the borrow checker

Rust pattern: Rooting an Rc handle

Maximally minimal specialization: always applicable impls

An on-demand SLG solver for Chalk

In Rust, ordinary vectors are values

Niko Matsakis: Lessons learned from the impl period

Rust 2018 by Niko

Chalk meets SLG

Non-lexical lifetimes: draft RFC and prototype available