diff --git a/src/org/rascalmpl/interpreter/result/JavaMethod.java b/src/org/rascalmpl/interpreter/result/JavaMethod.java
index 881681f8fac..485df82f67d 100644
--- a/src/org/rascalmpl/interpreter/result/JavaMethod.java
+++ b/src/org/rascalmpl/interpreter/result/JavaMethod.java
@@ -137,7 +137,8 @@ public Result<IValue> call(Type[] actualStaticTypes, IValue[] actuals, Map<Strin
 		}
 		// check parameters are a subtype
 		for (int i = 0; i < actualStaticTypes.length; i++) {
-			if (!actualStaticTypes[i].isSubtypeOf(formals.getFieldType(i))) {
+			if (!actualStaticTypes[i].isSubtypeOf(formals.getFieldType(i)) 
+			 && !actuals[i].getType().isSubtypeOf(formals.getFieldType(i))) {
 				throw new MatchFailed();
 			}
 		}