https://github.com/jayfoad commented: I guess this is required for correctness, but it is not clear to me what the failure is without this. Do you have a small MIR example that needs this? https://github.com/llvm/llvm-project/pull/79286