Use getValue

Lipen · Lipen · commit 833a8e24ed40 · 2024-12-27T02:09:46.000+03:00
diff --git a/usvm-dataflow-ts/src/main/kotlin/org/usvm/dataflow/ts/infer/TypeInferenceManager.kt b/usvm-dataflow-ts/src/main/kotlin/org/usvm/dataflow/ts/infer/TypeInferenceManager.kt
@@ -387,7 +387,7 @@ class TypeInferenceManager(
             }
 
             for ((method, localFacts) in inferredLocalTypes) {
-                val facts = refinedTypes[method]!!
+                val facts = refinedTypes.getValue(method)
                 refinedTypes[method] = facts.copy(types = facts.types + localFacts)
             }
         }

Original file line number	Diff line number	Diff line change
`@@ -387,7 +387,7 @@ class TypeInferenceManager(`
`387`	`387`	`}`
`388`	`388`
`389`	`389`	`for ((method, localFacts) in inferredLocalTypes) {`
`390`		`- val facts = refinedTypes[method]!!`
	`390`	`+ val facts = refinedTypes.getValue(method)`
`391`	`391`	`refinedTypes[method] = facts.copy(types = facts.types + localFacts)`
`392`	`392`	`}`
`393`	`393`	`}`