Remove error from generics processing (#1646)

Author: CaelmBleidd

utbot-framework-test/src/test/kotlin/org/utbot/examples/types/GenericsTest.kt

@@ -3,6 +3,7 @@ package org.utbot.examples.types
 import org.junit.jupiter.api.Disabled
 import org.junit.jupiter.api.Test
 import org.utbot.testcheckers.eq
+import org.utbot.testing.DoNotCalculate
 import org.utbot.testing.UtValueTestCaseChecker
 import org.utbot.testing.ignoreExecutionsNumber
 
@@ -13,7 +14,7 @@ internal class GenericsTest : UtValueTestCaseChecker(
     @Test
     fun mapAsParameterTest() {
         check(
-            Generics::mapAsParameter,
+            Generics<*>::mapAsParameter,
             eq(2),
             { map, _ -> map == null },
             { map, r -> map != null && r == "value" },
@@ -24,7 +25,7 @@ internal class GenericsTest : UtValueTestCaseChecker(
     @Disabled("https://github.com/UnitTestBot/UTBotJava/issues/1620 wrong equals")
     fun genericAsFieldTest() {
         check(
-            Generics::genericAsField,
+            Generics<*>::genericAsField,
             ignoreExecutionsNumber,
             { obj, r -> obj?.field == null && r == false },
             // we can cover this line with any of these two conditions
@@ -35,7 +36,7 @@ internal class GenericsTest : UtValueTestCaseChecker(
     @Test
     fun mapAsStaticFieldTest() {
         check(
-            Generics::mapAsStaticField,
+            Generics<*>::mapAsStaticField,
             ignoreExecutionsNumber,
             { r -> r == "value" },
         )
@@ -44,7 +45,7 @@ internal class GenericsTest : UtValueTestCaseChecker(
     @Test
     fun mapAsNonStaticFieldTest() {
         check(
-            Generics::mapAsNonStaticField,
+            Generics<*>::mapAsNonStaticField,
             ignoreExecutionsNumber,
             { map, _ -> map == null },
             { map, r -> map != null && r == "value" },
@@ -54,10 +55,20 @@ internal class GenericsTest : UtValueTestCaseChecker(
     @Test
     fun methodWithRawTypeTest() {
         check(
-            Generics::methodWithRawType,
+            Generics<*>::methodWithRawType,
             eq(2),
             { map, _ -> map == null },
             { map, r -> map != null && r == "value" },
         )
     }
+
+    @Test
+    fun testMethodWithArrayTypeBoundary() {
+        checkWithException(
+            Generics<*>::methodWithArrayTypeBoundary,
+            eq(1),
+            { r -> r.exceptionOrNull() is java.lang.NullPointerException },
+            coverage = DoNotCalculate
+        )
+    }
 }

utbot-framework/src/main/kotlin/org/utbot/engine/Traverser.kt

@@ -1124,7 +1124,8 @@ class Traverser(
 
                     if (allTypes.any { it is GenericArrayType }) {
                         val errorTypes = allTypes.filterIsInstance<GenericArrayType>()
-                        TODO("we do not support GenericArrayTypeImpl yet, and $errorTypes found. SAT-1446")
+                        logger.warn { "we do not support GenericArrayTypeImpl yet, and $errorTypes found. SAT-1446" }
+                        return
                     }
 
                     val upperBoundsTypes = typeResolver.intersectInheritors(upperBounds)
@@ -1137,7 +1138,8 @@ class Traverser(
 
                     if (upperBounds.any { it is GenericArrayType }) {
                         val errorTypes = upperBounds.filterIsInstance<GenericArrayType>()
-                        TODO("we do not support GenericArrayType yet, and $errorTypes found. SAT-1446")
+                        logger.warn { "we do not support GenericArrayType yet, and $errorTypes found. SAT-1446" }
+                        return
                     }
 
                     val upperBoundsTypes = typeResolver.intersectInheritors(upperBounds)

utbot-sample/src/main/java/org/utbot/examples/types/Generics.java

@@ -1,8 +1,10 @@
 package org.utbot.examples.types;
 
+import java.util.ArrayList;
+import java.util.List;
 import java.util.Map;
 
-public class Generics {
+public class Generics<T> {
     public boolean genericAsField(CollectionAsField<String> object) {
         if (object != null && object.field != null) {
             return object.field.equals("abc");
@@ -38,4 +40,18 @@ public String methodWithRawType(Map map) {
     private Map<String, String> nestedMethodWithGenericInfo(Map<String, String> map) {
         return map;
     }
+
+    public int methodWithArrayTypeBoundary() {
+        return new ArrayTypeParameters<T>().methodWithArrayTypeBoundary(null);
+    }
+}
+
+class ArrayTypeParameters<T> {
+    public int methodWithArrayTypeBoundary(List<? extends T[]> list) {
+        if (list.isEmpty()) {
+            return -1;
+        }
+
+        return 1;
+    }
 }