Fixed last review issues

Author: Damtev

utbot-framework/src/main/java/org/utbot/engine/overrides/stream/UtDoubleStream.java

@@ -73,7 +73,7 @@ public UtDoubleStream(Double[] data, int startInclusive, int endExclusive) {
      * <li> elementData is marked as parameter </li>
      * <li> elementData.storage and it's elements are marked as parameters </li>
      */
-    @SuppressWarnings({"DuplicatedCode"})
+    @SuppressWarnings("DuplicatedCode")
     void preconditionCheck() {
         if (alreadyVisited(this)) {
             return;
@@ -146,6 +146,8 @@ public DoubleStream map(DoubleUnaryOperator mapper) {
     @SuppressWarnings("unchecked")
     @Override
     public <U> Stream<U> mapToObj(DoubleFunction<? extends U> mapper) {
+        // Here we assume that this mapping does not produce infinite streams
+        // - otherwise it should always be executed concretely.
         preconditionCheckWithClosingStream();
 
         int size = elementData.end;

utbot-framework/src/main/java/org/utbot/engine/overrides/stream/UtIntStream.java

@@ -147,6 +147,8 @@ public IntStream map(IntUnaryOperator mapper) {
     @SuppressWarnings("unchecked")
     @Override
     public <U> Stream<U> mapToObj(IntFunction<? extends U> mapper) {
+        // Here we assume that this mapping does not produce infinite streams
+        // - otherwise it should always be executed concretely.
         preconditionCheckWithClosingStream();
 
         int size = elementData.end;

utbot-framework/src/main/java/org/utbot/engine/overrides/stream/UtLongStream.java

@@ -147,6 +147,8 @@ public LongStream map(LongUnaryOperator mapper) {
     @SuppressWarnings("unchecked")
     @Override
     public <U> Stream<U> mapToObj(LongFunction<? extends U> mapper) {
+        // Here we assume that this mapping does not produce infinite streams
+        // - otherwise it should always be executed concretely.
         preconditionCheckWithClosingStream();
 
         int size = elementData.end;

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

@@ -813,7 +813,11 @@ class Resolver(
         // as const or store model.
         if (defaultBaseType is PrimType) return null
 
-        if (actualType.numDimensions == 0) {
+        require(!defaultType.isJavaLangObject()) {
+            "Object type $defaultType is unexpected in fallback to default type"
+        }
+
+        if (defaultType.numDimensions == 0) {
             return defaultType
         }