New blog post:
I’ve been hard at work the last month or so on trying to complete the non-lexical lifetimes RFC. I’m pretty excited about how it’s shaping up. I wanted to write a kind of “meta” blog post talking about the current state of the proposal – almost there! – and how you could get involved with helping to push it over the finish line.
What can I say, I’m loquacious! In case you don’t want to read the full post, here are the highlights:
- The NLL proposal is looking good. As far as I know, the proposal covers all major intraprocedural shortcomings of the existing borrow checker. The appendix at the end of this post talks about the problems that we don’t address (yet).
- The draft RFC is available in a GitHub repository:
- Read it over! Open issues! Open PRs!
- In particular, if there is some pattern you think may not be covered, please let me know about it by opening an issue.
- There is a working prototype as well:
- The prototype includes region inference as well as the borrow checker.
- I hope to expand it to become the normative prototype of how the borrow checker works, allowing us to easily experiment with extensions and modifications – analogous to Chalk.