I would argue that it's actually the opposite. To understand how borrows work right now takes more understanding of how the checker operates than with non lexic

I would argue that it's actually the opposite. To understand how borrows work right now takes more understanding of how the checker operates than with non lexical lifetimes.