[Mlir-commits] [mlir] [mlir][ODS] Allow inferring operand types from multiple variables (PR #127517)

[Markus Böck]

================
@@ -2827,7 +2844,7 @@ LogicalResult OpFormatParser::verify(SMLoc loc,
       handleSameTypesConstraint(variableTyResolver, /*includeResults=*/false);
     } else if (def.getName() == "SameOperandsAndResultType") {
       handleSameTypesConstraint(variableTyResolver, /*includeResults=*/true);
-    } else if (def.isSubClassOf("TypesMatchWith")) {
+    } else if (def.isSubClassOf("InferTypesFrom")) {
       handleTypesMatchConstraint(variableTyResolver, def);
----------------
zero9178 wrote:

Can we rename this function

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