Allow nested TypeVars to be better reified

gselzer · gselzer · commit 4d4c3613613e · 2020-03-02T15:23:26.000-06:00
diff --git a/src/main/java/org/scijava/util/Types.java b/src/main/java/org/scijava/util/Types.java
@@ -2245,6 +2245,10 @@ && isAssignable(fromResolved, toResolved, typeVarAssigns))) {
 						Type[] fromTypes = ((ParameterizedType) fromResolved).getActualTypeArguments();
 						Type[] toTypes = ((ParameterizedType) toResolved).getActualTypeArguments();
 						for(int i = 0; i < fromTypes.length; i++) {
+							if(toTypes[i] instanceof TypeVariable<?> && Types.isAssignable(fromTypes[i], toTypes[i], typeVarAssigns)) {
+								typeVarAssigns.put((TypeVariable<?>) toTypes[i], fromTypes[i]);
+								continue;
+							}
 							if(!(fromTypes[i] instanceof Any || toTypes[i] instanceof Any)) return false;
 						}
 						continue;
