dcaballe wrote: Ok, I made quite a few improvements to the error messages, logic and tests. The current logic prevents the 0-D <-> 1-D interaction as it's redundant but can't be folded without introducing a bitcast. https://github.com/llvm/llvm-project/pull/115824