Let's examine the two numbered clauses:
-Clause (1) specifies that tThe lifetime of the loan (`LT`) cannot
+Clause (1) specifies that the lifetime of the loan (`LT`) cannot
exceed the lifetime of the `&mut` pointer (`LT'`). The reason for this
is that the `&mut` pointer is guaranteed to be the only legal way to
mutate its referent -- but only for the lifetime `LT'`. After that
// supposed to be going away.
format!("unsafe borrow of aliasable, const value")
}
- err_borrowed_pointer_too_short(_, _, r) => {
+ err_borrowed_pointer_too_short(..) => {
let descr = match opt_loan_path(err.cmt) {
Some(lp) => format!("`{}`", self.loan_path_to_str(lp)),
None => self.cmt_to_str(err.cmt),