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