From 7fffb2984697c9eefa00852833fda3129cdbfdea Mon Sep 17 00:00:00 2001
From: Jean-Baptiste Doderlein <jean.baptiste.doderlein@gmail.com>
Date: Mon, 20 Apr 2026 23:29:35 +0200
Subject: [PATCH] Java method args pattern match also work on runtime type

---
 src/org/rascalmpl/interpreter/result/JavaMethod.java | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

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();
 			}
 		}