@@ -230,7 +230,7 @@ private module PromiseFlow {
       or
       // read the value of a resolved/rejected promise that is returned
       (prop = rejectField() or prop = resolveField()) and
-      pred = getCallback(0).getAReturn() and
+      pred = getCallback([0..1]).getAReturn() and
       succ = this
     }
Original file line number	Diff line number	Diff line change
`@@ -230,7 +230,7 @@ private module PromiseFlow {`
`230`	`230`	`or`
`231`	`231`	`// read the value of a resolved/rejected promise that is returned`
`232`	`232`	`(prop = rejectField() or prop = resolveField()) and`
`233`		`- pred = getCallback(0).getAReturn() and`
	`233`	`+ pred = getCallback([0..1]).getAReturn() and`
`234`	`234`	`succ = this`
`235`	`235`	`}`
`236`	`236`