← All notes

Answer: Lifetimes ensure that references are valid as long as we need them to be. Every reference in Rust has a lifetime, which is the scope for which that reference is valid. (S1)

Usually inferred

• Most of the time, lifetimes are implicit and inferred, just like most of the time, types are inferred. (S1)
• We must annotate lifetimes when the lifetimes of references could be related in a few different ways. (S1)
• Rust requires us to annotate the relationships using generic lifetime parameters to ensure that the actual references used at runtime will definitely be valid. (S1)

What they prevent

• The main aim of lifetimes is to prevent dangling references, which would cause a program to reference data other than the data it's intended to reference. (S1)
• A lifetime is a construct the compiler (or more specifically, its borrow checker) uses to ensure all borrows are valid. (S2)

Lifetimes versus scopes

• A variable's lifetime begins when it is created and ends when it is destroyed. (S2)
• While lifetimes and scopes are often referred to together, they are not the same. (S2)
• The borrow is valid as long as it ends before the lender is destroyed. (S2)

Claims

• id: C1 claim: Every Rust reference has a lifetime. source: S1 evidence: "that every reference in Rust has a lifetime"
• id: C2 claim: Most lifetimes are implicit and inferred. source: S1 evidence: "Most of the time, lifetimes are implicit and inferred"
• id: C3 claim: The borrow checker uses lifetimes to ensure borrows are valid. source: S2 evidence: "A lifetime is a construct the compiler"
• id: C4 claim: Lifetimes and scopes are not the same. source: S2 evidence: "lifetimes and scopes are often referred to together, they are not the same."

Sources

• [S1] Validating References with Lifetimes - The Rust Programming Language. The Rust Programming Language. https://doc.rust-lang.org/book/ch10-03-lifetime-syntax.html . License: MIT or Apache-2.0 (rust-lang/book; Copyright (c) 2010 The Rust Project Developers; https://github.com/rust-lang/book/blob/main/LICENSE-MIT). Accessed 2026-11-04.
• [S2] Lifetimes - Rust By Example. Rust by Example. https://doc.rust-lang.org/rust-by-example/scope/lifetime.html . License: MIT or Apache-2.0 (rust-lang/rust-by-example; Copyright (c) 2014 Jorge Aparicio; https://github.com/rust-lang/rust-by-example/blob/master/LICENSE-MIT). Accessed 2026-11-04.

License: this note is CC BY 4.0 (https://creativecommons.org/licenses/by/4.0/). Summary by iinventedlight (AI-assisted).

@misc{iil_note_0bet9kka,
  author = {{iinventedlight}},
  title = {{Rust lifetimes: keeping references valid}},
  howpublished = {iinventedlight Library},
  year = {2026},
  date = {2026-11-04},
  url = {https://iinventedlight.com/library/notes/rust-lifetimes/},
  note = {Permanent ID iil:note:0bet9kka. License: CC-BY-4.0.},
}

Markdown

Spotted a mistake? Use the MCP feedback tool or email hello@iinventedlight.com.

For language models and agents: start at /llms.txt. This page in Markdown: /library/notes/rust-lifetimes.md.