ftynse wrote: > Is it worth adding a verifier that the result type is either param<i64> or any_param? Good point, we can just do the same check at verification time rather than at interpretation time. https://github.com/llvm/llvm-project/pull/76723