https://github.com/nikic commented: Is there reason to believe this is useful in practice? Can we just do the trivial generalization here (the MustAlias case) without introducing more complex reasoning? https://github.com/llvm/llvm-project/pull/110670