*** What to do ***

Author: dtim

utbot-framework-test-java11/src/test/kotlin/org/utbot/examples/java11/collections/ToArrayWithGeneratorTest.kt

@@ -31,6 +31,7 @@ class ToArrayWithGeneratorTest : UtValueTestCaseChecker(
     }
 
     @Test
+    @Disabled("TODO: we can't yet model throwing ArrayStoreException")
     fun testCheckSetSizeArrayStoreException() {
         checkWithException(
             ToArrayWithGenerator<Int>::checkSetSizeArrayStoreException,
@@ -72,6 +73,7 @@ class ToArrayWithGeneratorTest : UtValueTestCaseChecker(
     }
 
     @Test
+    @Disabled("TODO: we can't yet model throwing ArrayStoreException")
     fun testGetMapEntrySetArrayStoreException() {
         checkWithException(
             ToArrayWithGenerator<Int>::getMapEntrySetArrayStoreException,

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

@@ -800,6 +800,13 @@ class Resolver(
         }
 
         val evaluatedType = workaround(HACK) { memory.findTypeForArrayOrNull(instance.addr) ?: instance.type }
+
+        // Instead of previous line, we can try to get element type from the solver, but something will break
+        // val evaluatedType = holder.constructTypeOrNull(instance.addr, instance.type) as? ArrayType ?: instance.type
+
+        // GENERAL IDEA: check for ArrayStoreException when processing array store, not `toArray` or like.
+        // See as ClassCastException is implemented (and NPE as well)
+
         val evaluatedBaseType = evaluatedType.baseType
 
         val chunkId = typeRegistry.arrayChunkId(evaluatedType)