restrict precise array elements to Promise.all()

This commit is contained in:
Erik Krogh Kristensen
2020-05-16 22:25:19 +02:00
parent e2cd7e6230
commit 8717f7bd0d

View File

@@ -256,7 +256,9 @@ private module ArrayDataFlow {
exists(int i |
element = this.getElement(i) and
obj = this and
prop = arrayElement(i)
if this = any(PromiseAllCreation c).getArrayNode()
then prop = arrayElement(i)
else prop = arrayElement()
)
}
}