Polonius (the future Rust borrow checker) talk at Rust-Belt-Rust 2019 – N (cont) (nikomatsakis.github.io)