Resolve class type in NewExpr during constructor resolution

Author: Lipen

usvm-dataflow-ts/src/main/kotlin/org/usvm/dataflow/ts/graph/EtsApplicationGraph.kt

@@ -148,6 +148,14 @@ class EtsApplicationGraphImpl(
                         lookupClassWithIdealSignature(sig).onSome { c ->
                             return sequenceOf(c.ctor)
                         }
+                    } else {
+                        val resolved = cp.projectAndSdkClasses
+                            .asSequence()
+                            .filter { compareClassSignatures(it.signature, sig) != ComparisonResult.NotEqual }
+                            .singleOrNull()
+                        if (resolved != null) {
+                            return sequenceOf(resolved.ctor)
+                        }
                     }
                 }
 

usvm-dataflow-ts/src/test/kotlin/org/usvm/dataflow/ts/test/EtsTypeInferenceTest.kt

@@ -86,7 +86,7 @@ class EtsTypeInferenceTest {
         }
 
         val manager = TypeInferenceManager(EtsTraits(), graph)
-        val result = manager.analyze(entrypoints)
+        val result = manager.analyze(entrypoints, doAddKnownTypes = false)
         val types = result.inferredTypes
 
         run {