diff --git a/src/mycompiler/myclass/Class.java b/src/mycompiler/myclass/Class.java index fcefae16..3f8efa0b 100755 --- a/src/mycompiler/myclass/Class.java +++ b/src/mycompiler/myclass/Class.java @@ -652,8 +652,8 @@ public class Class extends SyntaxTreeNode implements AClassOrInterface, IItemWit //Globale Assumptions anfügen: assumptions.add(globalAssumptions); - for(GenericTypeVar gparam : this.genericClassParameters){ - gparam.TYPE(assumptions); //Constraints für die Generischen Variablen erstellen und diese dem AssumptionsSet hinzufügen + for(Type gparam : this.paralist){ + if(gparam instanceof GenericTypeVar)((GenericTypeVar)gparam).TYPE(assumptions); //Constraints für die Generischen Variablen erstellen und diese dem AssumptionsSet hinzufügen } typinferenzLog.debug("Erstellte Assumptions: "+assumptions);