[Mlir-commits] [mlir] [mlir][tosa] Fix crash in TosaInferShapes when while_loop carries sparse tensors (PR #183943)

[Mehdi Amini]

joker-eph wrote:

Right, I'm not familiar enough with the pass, in particular the function is:
```
  // This requires inserting tensor.cast operations to mediate the newly
  // inferred result types with users that do not support type inference.
```

And it's not clear to me why a block argument producer would be impossible, that would need to think about the set of invariants, and would deserve a good comment + assert.

I'll merge this in the meantime, until someone can improve this!

https://github.com/llvm/llvm-project/pull/183943