Closed
Description
Hi,
While going through the documentation of the borrowchecker, I found that the section Checking mutability of immutable pointer types is repeated twice, which is probably a mistake (the second one should be aliasability). Same thing for mutable pointer types.
Is it a mistake or is it intended ?
I was also wondering if there is some newer documentation about Rust's borrow checker and where it is available (this one dates from 2015).
Thanks in advance.