[Mlir-commits] [mlir] [mlir][vector] Allow integer indices in vector.extract/insert ops (PR #115808)

[Matthias Springer]

================
@@ -178,10 +188,34 @@ ParseResult mlir::parseDynamicIndexList(
       return failure();
     return success();
   };
+  auto parseColonType = [&]() -> ParseResult {
+    if (hasSameTypeDynamicValues) {
+      assert(valueTypes && "Expected non-null value types");
----------------
matthias-springer wrote:

Why is `valueTypes` requires when `hasSameTypeDynamicValues` is "true", but it is not required when `hasSameTypeDynamicValues` is "false"?

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