The borrow checker is what checks lifetimes, that's correct. "Non-lexical lifetimes" is an example of describing certain semantics of what the borrow checker c

The borrow checker is what checks lifetimes, that's correct. "Non-lexical lifetimes" is an example of describing certain semantics of what the borrow checker checks, yes.