nicolasvasilache wrote: > I'm not sure a meaningful negative test can be written given all the types are inferred from a single input +1, since there are no custom messages, I believe everything is covered by the default verifiers https://github.com/llvm/llvm-project/pull/80965