Skip to content

Commit 842c0ff

Browse files
committed
Remove arrays from the top type stream
1 parent ee13ca9 commit 842c0ff

File tree

1 file changed

+1
-3
lines changed

1 file changed

+1
-3
lines changed

usvm-ts/src/main/kotlin/org/usvm/machine/types/TsTypeSystem.kt

Lines changed: 1 addition & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -306,9 +306,7 @@ class TsTypeSystem(
306306
if ((t as? EtsClassType)?.signature == EtsHierarchy.OBJECT_CLASS.signature) { // TODO change it
307307
val classes = scene.projectAndSdkClasses.asSequence().map { it.type } + EtsStringType + EtsAnyType
308308

309-
classes + classes.map { EtsArrayType(it, 1) } +
310-
EtsArrayType(EtsNumberType, 1) +
311-
EtsArrayType(EtsBooleanType, 1)
309+
classes
312310
} else {
313311
hierarchy.classesForType(t)
314312
.asSequence()

0 commit comments

Comments
 (0)