Update EliminateGenerics.java

Frotty · Frotty · commit 6db0f2847c1b · 2025-12-02T01:41:36.000+01:00
diff --git a/de.peeeq.wurstscript/src/main/java/de/peeeq/wurstscript/translation/imtranslation/EliminateGenerics.java b/de.peeeq.wurstscript/src/main/java/de/peeeq/wurstscript/translation/imtranslation/EliminateGenerics.java
@@ -343,11 +343,9 @@ private void adaptSubmethods(List<ImMethod> oldSubMethods, ImMethod newM) {
                     }
                 });
             }else {
-                // DO NOT mutate subClass.getSuperClasses() here.
-                ImClassType subClassTSpecialized = specializeType(subClassT);
-                ImClassType newClassTSpecialized = specializeType(newClassT);
-
-                if (subClassTSpecialized.getClassDef().isSubclassOf(newClassTSpecialized.getClassDef())) {
+                subClass.getSuperClasses().replaceAll(this::specializeType);
+                ImClassType newClassTspecialized = specializeType(newClassT);
+                if (subClass.isSubclassOf(newClassTspecialized.getClassDef())) {
                     newM.getSubMethods().add(subMethod);
                 }
             }

Original file line number	Diff line number	Diff line change
`@@ -343,11 +343,9 @@ private void adaptSubmethods(List<ImMethod> oldSubMethods, ImMethod newM) {`
`343`	`343`	`}`
`344`	`344`	`});`
`345`	`345`	`}else {`
`346`		`- // DO NOT mutate subClass.getSuperClasses() here.`
`347`		`- ImClassType subClassTSpecialized = specializeType(subClassT);`
`348`		`- ImClassType newClassTSpecialized = specializeType(newClassT);`
`349`		`-`
`350`		`- if (subClassTSpecialized.getClassDef().isSubclassOf(newClassTSpecialized.getClassDef())) {`
	`346`	`+ subClass.getSuperClasses().replaceAll(this::specializeType);`
	`347`	`+ ImClassType newClassTspecialized = specializeType(newClassT);`
	`348`	`+ if (subClass.isSubclassOf(newClassTspecialized.getClassDef())) {`
`351`	`349`	`newM.getSubMethods().add(subMethod);`
`352`	`350`	`}`
`353`	`351`	`}`