Blog post: View types for Rust

[crlf0710]

I remembering raising this before:

Pre-Pre-RFC: Opt-in non-local borrowck analysis

Summary Introduce a modifier “nonlocal”(subject to bike-shedding) to fns and methods. Borrowck will “inline” their implementations into where they’re used before checking, which will loose the lifetime restrictions a little more. Motivation Nowadays, even after we’ve got NLL, certain program’s correctness still can’t be proved, putting certain limitations into API surface design. One common issue is that: We’re not able to provide Java-style getters/setters. Any such method will put the whole …