From bb3a3ef43015db99d40488fb7a8027acde2e6061 Mon Sep 17 00:00:00 2001
From: JanUlrich <andi@michlaustderaffe.de>
Date: Sun, 12 Dec 2021 10:47:01 +0100
Subject: [PATCH] Fix type insert error

---
 src/main/scala/hb/dhbw/InsertTypes.scala | 4 ++++
 1 file changed, 4 insertions(+)

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