[Mlir-commits] [mlir] [mlir][memref] `memref.subview`: Verify result strides (PR #79865)

[Maksim Levental]

makslevental wrote:

Dumb question: shouldn't `haveCompatibleOffsets` and `haveCompatibleOffsets` tolerate refined (non-dynamic) attribute values? If a user (whoever/whatever emits) static values for offsets/strides inferred to be dynamic, shouldn't that pass "a fortiori"?

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