[Mlir-commits] [mlir] [mlir][vector] Specify bounds of dynamic indices in vector.extract/insert (PR #95933)

[Benjamin Maxwell]

MacDue wrote:

> Thanks @MacDue ! Is this checked/enforced in any way?

That's not generally possible as these are _dynamic_ indices (i.e. runtime values).   

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