kuhar wrote: I don't think it can inside the `if` statement that checks for `IntegerAttr`. If anything, we can probably remove the null check on line 726 (and maybe turn it into an assertion). https://github.com/llvm/llvm-project/pull/157457