Fix compilation again

EgorkaKulikov · EgorkaKulikov · commit 0490ad6d4c1e · 2023-03-21T17:14:53.000+03:00
diff --git a/utbot-framework/src/main/kotlin/org/utbot/engine/Traverser.kt b/utbot-framework/src/main/kotlin/org/utbot/engine/Traverser.kt
@@ -1503,7 +1503,7 @@ class Traverser(
             return createMockedObject(addr, type, mockInfoGenerator, nullEqualityConstraint)
         }
 
-        val concreteImplementation = when (applicationContext.typeReplacementMode) {
+        val concreteImplementation: Concrete? = when (applicationContext.typeReplacementMode) {
             AnyImplementor -> findConcreteImplementation(addr, type, typeHardConstraint, nullEqualityConstraint)
 
             // If our type is not abstract, both in `KnownImplementors` and `NoImplementors` mode,

Original file line number	Diff line number	Diff line change
`@@ -1503,7 +1503,7 @@ class Traverser(`
`1503`	`1503`	`return createMockedObject(addr, type, mockInfoGenerator, nullEqualityConstraint)`
`1504`	`1504`	`}`
`1505`	`1505`
`1506`		`- val concreteImplementation = when (applicationContext.typeReplacementMode) {`
	`1506`	`+ val concreteImplementation: Concrete? = when (applicationContext.typeReplacementMode) {`
`1507`	`1507`	`AnyImplementor -> findConcreteImplementation(addr, type, typeHardConstraint, nullEqualityConstraint)`
`1508`	`1508`
`1509`	`1509`	// If our type is not abstract, both in `KnownImplementors` and `NoImplementors` mode,