- Infer safe input lifetimes across checked operations and comparisons. - Reuse immutable primitive values during construction and JSON parsing. - Preserve callback ordering, result ownership, and exception cleanup.