Fix type insert error

2021-12-12 10:47:01 +01:00 · 2021-12-12 10:47:01 +01:00 · bb3a3ef430
commit bb3a3ef430
parent 341875c843
1 changed files with 4 additions and 0 deletions
--- 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())))
  }