fixed nasty bug in Type.intersection w.r.t. parameter types

usethesource · Jan 9, 2025 · fd6ccbb · fd6ccbb
1 parent 27e8536
commit fd6ccbb
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/src/org/rascalmpl/types/NonTerminalType.java b/src/org/rascalmpl/types/NonTerminalType.java
@@ -346,6 +346,9 @@ public boolean intersects(Type other) {
 		if (other == RascalValueFactory.Tree) {
 			return true;
 		}
+		else if (other.isParameter()) {
+			return other.intersects(this);
+		}
 		else if (other instanceof NonTerminalType) {
 			return ((NonTerminalType) other).intersectsWithNonTerminal(this);
 		}