Hi all! I've started taking a shot at expanding the rustc-guide documentation for the MIR borrow check. (Some of this content, as an aside, should probably also be added as rustdoc comments)
Here is my first chapter, which describes move-paths:
I'd love to get feedback. I'm also curious whether other people in this working group would feel up to drafting chapters. Maybe we can divide up this work? I think it's pretty important that before we call things "done" we have decent documentation.
cc @WG-compiler-nll but also @Wesley Wiser (not sure if you're in that alias...?)
Do you plan on having something written in
./mir/regionck.md? I saw that you removed the content of these files except for the title, but still kept the files themselves and links to them in the summary.
I .. eh?
that was a mistake then
I thought I removed them