Xazax-hun wrote: > Add a kill-only mechanism (e.g., OriginFlowFact with no source) to clear old loans when the RHS has no origins. I'd prefer this solution but wait for @usx95 to chime in. https://github.com/llvm/llvm-project/pull/191123