[Mlir-commits] [mlir] [mlir][vector] Add verification for incorrect vector.extract (PR #115824)

[Andrzej Warzyński]

https://github.com/banach-space commented:

Makes sense, thank you!

We should make sure that `vector.extract` and `vector.insert` behave consistently, right? So this should be supported as well:

```mlir
vector.insert %arg1, %arg0[0, 0, 0] : vector<1xf32> into vector<4x8x3xf32>
```

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