Specify temporary lifetime extension through expressions#2051

Open

dianne wants to merge 15 commits into

rust-lang:masterfrom

dianne:uniform-lifetime-extension

Commits on Jan 28, 2026

Specify lifetime extension through expressions

dianne
authored and
ehuss
committed
Reframe lifetime extension to not be specific to `let` statements

dianne
authored and
ehuss
committed
Reorganize, remove hacks, clarify, and add examples

dianne
authored and
ehuss
committed
Add a couple examples where the spec didn't change

dianne
authored and
ehuss
committed
Adjust other references to extending expressions

dianne
authored and
ehuss
committed
Extremely rough draft: remove sub-expressions ambiguity

dianne
authored and
ehuss
committed
Add formal scoping model appendix

authored and
ehuss
committed
Replace `case_of_` with `with ... in`

traviscross
authored and
ehuss
committed
Remove unused imports

traviscross
authored and
ehuss
committed
Add proof of `tempScope-refPr e ≡ tempScope-refPr′ e`

authored and
ehuss
committed
Clarify some text

traviscross
authored and
ehuss
committed
Describe and prove the reflexive ancestry relation

traviscross
authored and
ehuss
committed
Tweak wording in a comment

traviscross
authored and
ehuss
committed
Remove empty cases from lemma

traviscross
authored and
ehuss
committed
Clean up variable name

traviscross
authored and
ehuss
committed