c-rhodes wrote: > Great stuff, thanks! > > Please add some cases in invalid.mlir :) I'm not sure a meaningful negative test can be written given all the types are inferred from a single input https://github.com/llvm/llvm-project/pull/80965