40     // 1. Assert: F has a [[Promise]] internal slot whose value is an Object.  in Resolve()
44     // 2. Let promise be the value of F's [[Promise]] internal slot.  in Resolve()
45     // 3. Let alreadyResolved be the value of F's [[AlreadyResolved]] internal slot.  in Resolve()
112     // 1. Assert: F has a [[Promise]] internal slot whose value is an Object.  in Reject()
116     // 2. Let promise be the value of F's [[Promise]] internal slot.  in Reject()
117     // 3. Let alreadyResolved be the value of F's [[AlreadyResolved]] internal slot.  in Reject()
141     // 1. Assert: F has a [[Capability]] internal slot whose value is a PromiseCapability Record.  in Executor()
144 …      "Executor: F has a [[Capability]] internal slot whose value is a PromiseCapability Record.");  in Executor()
146     // 2. Let promiseCapability be the value of F's [[Capability]] internal slot.  in Executor()
176     // 1. Let alreadyCalled be the value of F's [[AlreadyCalled]] internal slot.  in ResolveElementFunction()
185     // 4. Let index be the value of F's [[Index]] internal slot.  in ResolveElementFunction()
187     // 5. Let values be the value of F's [[Values]] internal slot.  in ResolveElementFunction()
189     // 6. Let promiseCapability be the value of F's [[Capabilities]] internal slot.  in ResolveElementFunction()
192     // 7. Let remainingElementsCount be the value of F's [[RemainingElements]] internal slot.  in ResolveElementFunction()
256     // 1. Let F be the active function object.  in ThenFinally()
263     // 2. Let onFinally be F.[[OnFinally]].  in ThenFinally()
274     // 5. Let C be F.[[Constructor]].  in ThenFinally()
297     // 1. Let F be the active function object.  in CatchFinally()
303     // 2. Let onFinally be F.[[OnFinally]].  in CatchFinally()
314     // 5. Let C be F.[[Constructor]].  in CatchFinally()
377     // 1. Let F be the active function object.  in AllSettledResolveElementFunction()
383     // 2. Let alreadyCalled be F.[[AlreadyCalled]].  in AllSettledResolveElementFunction()
392     // 5. Let index be F.[[Index]].  in AllSettledResolveElementFunction()
394     // 6. Let values be F.[[Values]].  in AllSettledResolveElementFunction()
397     // 7. Let promiseCapability be F.[[Capability]].  in AllSettledResolveElementFunction()
400     // 8. Let remainingElementsCount be F.[[RemainingElements]].  in AllSettledResolveElementFunction()
439     // 1. Let F be the active function object.  in AllSettledRejectElementFunction()
445     // 2. Let alreadyCalled be F.[[AlreadyCalled]].  in AllSettledRejectElementFunction()
454     // 5. Let index be F.[[Index]].  in AllSettledRejectElementFunction()
456     // 6. Let values be F.[[Values]].  in AllSettledRejectElementFunction()
459     // 7. Let promiseCapability be F.[[Capability]].  in AllSettledRejectElementFunction()
462     // 8. Let remainingElementsCount be F.[[RemainingElements]].  in AllSettledRejectElementFunction()
501     // 1. Let F be the active function object.  in AnyRejectElementFunction()
507     // 2. If F.[[AlreadyCalled]] is true, return undefined.  in AnyRejectElementFunction()
512     // 3. Set F.[[AlreadyCalled]] to true.  in AnyRejectElementFunction()
514     // 4. Let index be F.[[Index]].  in AnyRejectElementFunction()
516     // 5. Let errors be F.[[Errors]].  in AnyRejectElementFunction()
519     // 6. Let promiseCapability be F.[[Capability]].  in AnyRejectElementFunction()
522     // 7. Let remainingElementsCount be F.[[RemainingElements]].  in AnyRejectElementFunction()