https://github.com/nikic commented: High level question: Do we need the "common type" logic? Would it be enough to require the types to be the same? Or would this introduce a lot of type casts at use-sites? https://github.com/llvm/llvm-project/pull/95426