/
An alias-based formulation of the borrow checker (2018) — Trendlair