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

[Quinn Dawkins]

qedawkins wrote:

I'm not sure I follow the above discussion. Why are we special casing based on the shape here?
```mlir
// Valid
vector.extract %src_1[0]: vector<f32> from vector<8xf32>

// Invalid
vector.extract %src_2[0]: vector<f32> from vector<1xf32>
```

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