Lifetimes are put into a constraints solver (similar, but simpler than SAT solvers like z3), and that checks for satisfiability. There ars no runtime checks for lifetimes, in fact the Rust compiler promptly forgets about lifetimes after checking their correctness and treats references like raw pointees internally.