davemgreen wrote: Do you have any details where this comes up in practice? And an example from a ll we could add as a test (the mir tests are good - I was just wondering where it happened). https://github.com/llvm/llvm-project/pull/189518