We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent ee13ca9 commit 842c0ffCopy full SHA for 842c0ff
1 file changed
usvm-ts/src/main/kotlin/org/usvm/machine/types/TsTypeSystem.kt
@@ -306,9 +306,7 @@ class TsTypeSystem(
306
if ((t as? EtsClassType)?.signature == EtsHierarchy.OBJECT_CLASS.signature) { // TODO change it
307
val classes = scene.projectAndSdkClasses.asSequence().map { it.type } + EtsStringType + EtsAnyType
308
309
- classes + classes.map { EtsArrayType(it, 1) } +
310
- EtsArrayType(EtsNumberType, 1) +
311
- EtsArrayType(EtsBooleanType, 1)
+ classes
312
} else {
313
hierarchy.classesForType(t)
314
.asSequence()
0 commit comments