Prevent ArrayIndexException in typeVar inference

gselzer · ctrueden · commit d212ea8a098a · 2019-09-22T17:03:52.000+02:00
diff --git a/src/main/java/org/scijava/ops/matcher/MatchingUtils.java b/src/main/java/org/scijava/ops/matcher/MatchingUtils.java
@@ -429,6 +429,10 @@ private static void inferTypeVariables(Type[] types, Type[] inferFrom, Map<TypeV
 			throws TypeInferenceException {
 		if (typeAssigns == null)
 			throw new IllegalArgumentException();
+		// TODO: is this the correct place to put this? We could get a marginal increase
+		// in Type Variable information if we put this farther into the loop.
+		if (types.length != inferFrom.length)
+			throw new TypeInferenceException();
 		// Check all pairs of types
 		for (int i = 0; i < types.length; i++) {
 			if (types[i] instanceof TypeVariable) {
