michaelmaitland wrote: @tschuett I have updated this patch to allow different types but enforce that scalable types must be the same. I also caught another related bug in the builder. https://github.com/llvm/llvm-project/pull/108848