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.