diff --git a/src/main/scala/hb/dhbw/InsertTypes.scala b/src/main/scala/hb/dhbw/InsertTypes.scala index 8026e90..a0d6677 100644 --- a/src/main/scala/hb/dhbw/InsertTypes.scala +++ b/src/main/scala/hb/dhbw/InsertTypes.scala @@ -109,6 +109,10 @@ object InsertTypes { typesWithoutBounds = typesWithoutBounds - TypeVariable(a) Set(LessDot(GenericType(b), RefType("Object", List()))) }else Set() + case EqualsDot(TypeVariable(a), GenericType(_)) => if(linkedTypes.contains(TypeVariable(a))){ + typesWithoutBounds = typesWithoutBounds - TypeVariable(a) + Set() + }else Set() case _ => Set() }) ++ typesWithoutBounds.map(t => LessDot(t, RefType("Object", List()))) }