There was a real improvement to the borrow checker to make it use non-lexical-lifetimes. The practical implications were the borrow checker being much better at

There was a real improvement to the borrow checker to make it use non-lexical-lifetimes. The practical implications were the borrow checker being much better at reasoning about mutually exclusive borrows between branches.